| Cédric Dégremont (ILLC) |
Agreement theorems in dynamic-epistemic logic |
| Sam van Gool (ILLC) |
Canonical extensions, Polarities, and Counterterrorism
|
| Nina Gierasimczuk (ILLC) |
What makes a good teacher? A computational study
|
| Antonio Montalban (University of Chicago) |
The boundary of Determinacy in Second Order Arithmetic
|
| Lisa Fulford (ILLC) |
Modular Canonicity for Bi-implicative Algebras
|
| Jan Heylen (University of Leuven) |
Collapse and slingshot arguments in intensional logic and arithmetic.
|
| Maxim Khalilov (ILLC) |
Syntax-based reordering model for statistical machine translation.
|
| George Barmpalias (ILLC) |
Computability and Randomness.
|
| Spencer Johnston and Sara Uckelman (ILLC) |
John Buridan's Sophismata and interval temporal semantics.
|
| Sonja Smets (Rijksuniversiteit Groningen) |
When Logic Meets Physics.
|
| Lorenz Demey (ILLC) |
It is easy to see that...
|
| Jonathan Zvesper (ILLC) |
Softening Rational Dynamics.
|
| Sebastian Lutz (University of Utrecht) |
Semantic and Syntactic Descriptions of Theories and Models.
|
| Daisuke Ikegami (ILLC & University of Münster) |
Infinite games with imperfect information.
|
| Michael De (University of St Andrews) |
What is wrong with boolean negation?
|
| Sara Ramezani (MoL) |
Nash Social Welfare in Multiagent Resource Allocation
|
|
Thesis
|
|---|
| Amélie Gheerbrant (ILLC) |
Complete Axiomatizations of fragments of MSO on Finite Trees
|
|
Paper |
|---|
| Jakub Szymanik (ILLC) |
Automata, Quantifiers and Natural Language Comprehension
|
|
Paper |
|---|
| Corina Strössner (Universität des Saarlandes) |
The Meaning of Being Normal |
| Martin Bentzen (Roskilde University and ILLC) |
Judging Free Agents - Towards a Formal Theory of Responsibility |
| Walter Carnielli (CLE-State University of Campinas and ICR-University of Luxembourg) |
Sewing Logics Together: the possible-translations semantics and new meanings for old logics |
| Xavier Caicedo (Universidad de los Andes) |
A Characterization of a First-Order Lukasiewicz Logic |
| Sebastian Sequoiah-Grayson (University Leuven) |
A Procedural Interpretation of Split Negation |
| Michael Franke (ILLC) |
Credible information and implicatures: Where pragmatics adds
to game theory |
| Salvador Mascarenhas (ILLC) |
Inquisitive Semantics and Logic |
| Catarina Dutilh Novaes (ILLC) |
Controversies on the notion of Formal/Logical consequence |
| Edgar Andrade (ILLC) |
On some formalizations of Aristotelian syllogistics |
| Rosja Mastop (Utrecht) |
Doing away with the force-content distinction |
| Gideon Borensztajn |
Do children's grammars grow more abstract with age? |
| Krzysztof Apt (CWI and ILLC) | How to Write a Good
Article:
Some Suggestions |
|
slides from the talk
|
| Luc Segoufin (INRIA Futurs) | Order Invariance over Finite Structures |
| Erik Rietveld (ILLC) | Situated and Lived Normativity |
| Ramasubramanian Sharma |
Hetv?abh?asa and Theory of Negation in Indian
Logic
|
| Simon Kramer (Polytechnique) | The Intended and Actual Meaning of a Cryptographic Message and Protocol |
| Wouter Koolen-Wijkstra (ILLC & CWI) | Discovering the Truth
by
Conducting Experiments |
| Sonja Smets (VUB) | Dynamic-Epistemic Quantum Logic |
| Ulle Endriss (ILLC) | Abstract Models for Dialogue Protocols |
| Eva Wilhelmus, University of Bonn | Formalizability and knowledge ascriptions in mathematical practice |
| Dennis Bonnay (IHPST/DEC Paris) | What is a logical constant? |
| Tiago de Lima (Toulouse) | A tableau method for public announcement logics |
| Patrick Girard (Stanford) | Ceteris Paribus Clauses: Normal or Equal? |
| Hans van Ditmarsch (Otago) | Arbitrary announcement logic |
| Edward N. Zalta (Stanford) | Convergence in the Philosophy of Mathematics |
| Peter van Emde Boas (ILLC) | Wij Juliana, .... |
| Ioanna Dimitriou (University of Bonn) | Symmetric models of ZF-set
theory and some applications |
| Stephen Read (St.Andrews) | Thomas Bradwardine and a
fourteenth-century solution to
the semantic paradoxes |
| Sujata Ghosh (ILLC) | Belief-Disbelief Interface: A Bi-logical Approach |
| Simon Huttegger (Konrad Lorenz Institute for Evolution and Cognition Research) |
Dynamics of Signaling Games |
| R. Ramanujam (Chennai Institute of Mathematical Sciences) |
Security Protocols: A Logical Quagmire |
| Tadeusz Litak (Japan Advanced Institute of Science and
Technology) |
Algebraization of $\mathcal{H}(\downarrow,@)$
and the Bounded Fragment |
| Olivier Roy (ILLC) |
From Decision Theory to Belief Dynamics |
| Dick de Jongh & Krister Segerberg (ILLC & Uppsala) |
Part I: Kripke frames, Heyting Algebras, reductions and duality
Part II: Remembrances of the p-morphism in times past |