Marcos Cramer |
The Naproche system: Proof-checking mathematical texts in controlled natural language |

Merlin Carl |
Infinite Time Algorithmic Randomness |

Joshua Sack |
A coalgebraic approach to graded modal logic and graded bisimilarity |

Janine Reinert |
Expressive Limitations in Hybrid Approaches to Possible and Impossible Worlds |

Benno van den Berg |
How constructive is nonstandard arithmetic? |

Ronald de Haan |
Real-Life Oracles |

Roosmarijn Goldbach |
Modelling Democratic Deliberation |

Zhenhao Li |
Structures that permit minimal Turing degrees |

Daniel Altshuler (Duesseldorf) |
Using 'Now' and the Present Tense to Talk about the Past |

Guillaume Thomas |
Count/mass coercion in TTR |

Paolo Mancosu |
In good company? On Hume's principle and the assignment of numbers to infinite concepts |

Julian Kiverstein |
Coordination and Common Ground |

Karoly Varasdi |
Classifying incomplete entities |

Jakub Szymanik |
Computational Feasibility of Epistemic Formalisms |

Michael Franke |
The Use of Quantifiers: Set Size & Typicalityhere |

Dominik Klein |
Epistemic Logic and Category Theory |

Alessandra Marra |
A dynamic perspective on obligations; The case of the Miners' Paradox |

Luca Spada |
Many-valued logics: an overview with motivations, tools, and open problems |

Zoe Christoff |
Social Influence without Transparency |

Jonathan Shaheen |
Ambiguity Tests and the Lexicon |

Emiliano Lorini |
Ockhamist Propositional Dynamic Logic |

Kasper Christensen |
Etchemendy on Kripke Semanticshere |

Bryan Renne |
The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence |

Oliver Kutz |
Connecting Logics |

Elliott Wagner |
The Emergence of Semantic Meaning in Finite Populations |

Catrin Campbell-Moore |
Type-free, Predicate Approaches to Probability here |

Thomas Brouwer |
Rejection and Irrationality |

Vlasta Sikimic |
Interfering in the Dispute between Carroll's Achilles and the Tortoise: Possible Ground for an Improvement of Inferential Semanticshere |

Kohei Kishida |
A Sequent Calculus for Aristotle's Syllogistic |

Mathias Madsen |
Logic as a Social Science: A Grammatical Case Study |

Takanori Hida |
A Computational Interpretation of the Axiom of Determinacy in Arithmetic |

Zhenhao Li |
Computable Functionals on the Countable Ordinals |

Virginie Fiutek |
Playing for Knowledge |

Marion Haemmerli |
The Issue of Perspectivality in Formal Theories of Spatial Representation |

Sumit Sourabh (ILLC) |
Algebraic correspondence for Intuitionistic modal logic |

Fenner Tanswell (ILLC) |
Benacerraf and Formalisation |

Fabrice Correia (Université de Genève) |
Logical Grounds |

Aleks Knoks and Riccardo Pinosio (ILLC) |
Default Reasoning: Abnormality Minimization and Tableaux |

Christian Schaffner (ILLC) |
Position-Based Cryptography |

Yurii Khomskii (ILLC) |
Regularity Properties and Definability |

Bert Baumgaertner (UC Davis) |
Vagueness and Interaction Effects |

Marta Sznajder (LMU Munich) |
Formal semantics for intensional transitive verbs |

Giovanni Cinà |
Best System Account of Natural Laws and the Formalization of Scientific Theories |

David Lanius |
Vagueness and Unforeseeability |

Carlos León Aznar (Universität Hamburg) |
A Computational Model for Automated Extraction of Structural Schemas
from Simple Narrative Plots |

Stefan Minica (ILLC) |
Computing Minimal (Probabilistic) Issue Models |

Christian Kiesow (Technische Universität Berlin) |
Video Interaction Analysis of Mathematical Practice |

Umberto Grandi (ILLC) |
From Individual to Collective Rationality |

Johannes Marti (ILLC) |
Adding Semantic Facts to Kripke Models |

Niki Pfeifer (Munich Center for Mathematical Philosophy) |
Combining formal epistemology and the psychology of reasoning |

Kasper Christensen and Bruno Jacinto (ILLC) |
Actualism, Necessity, and Logical Consequence |

Lucian Zagan (ILLC) |
Vagueness, Bivalence, and What Is Said. |

Peter Fritz (ILLC) |
A Logic for Two-Dimensional Semantics. |

Johannes Marti (ILLC) |
Relation Liftings in Coalgebraic Modal Logic. |

Alexandru Marcoci (ILLC) |
The Surprise Examination Paradox in Dynamic Epistemic Logic. |

Paula Henk (ILLC) |
An alternative proof of the arithmetical completeness of GL. |

Szymon Klarman (Vrije Universiteit Amsterdam) |
From another viewpoint: two-dimensional Description Logics for contextual reasoning and knowledge integration. |

Gillman Payette (University of Calgary) |
Prolegomena to a Logic of Norms. |

Gideon Borensztajn (ILLC) |
Pointers in the brain: What the systematicity of language tells about cortical connectivity and connectionism. |

Inés Crespo (ILLC) |
Against degree-based semantics for taste. |

Bruno Loff (CWI - ILLC) |
The Theory of Real Recursive Functions. |

Stéphane Airiau (ILLC) |
Incorporating Learning in BDI agents.
Paper |

Matthew Wampler-Doty (ILLC) |
EviL (Evidentialist Logic) |

António Zilhão (University of Lisbon) |
The mind-body problem in the first decade of the twenty-first century: a guided tour through the physicalistic landscape. |

João Marcos (DIMAp/UFRN, Brazil) |
What is a Non-truth-functional Logic? |

Mathias Madsen (University of Copenhagen) |
The limits of formal language models |

Margaux Smets (ILLC) |
Using DOP to extract syntactic categories |

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âbhâsa 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 |