| Mauricio Martel (University of Bremen) |
Conservative Extensions in Guarded and Two-Variable Fragments |
| Frederik Lauridsen |
Linnaean Logic: a friendly introduction to systematic proof theory. |
| Dieuwke Hupkes & Sara Veldhoen |
Diagnostic classifiers: revealing how neural networks process hierarchical structure |
| Aysenur Bilgin |
Computing With Words: A Fuzzy Logic Perspective |
| Bastiaan van der Weij |
A probabilistic model of the perception of rhythmic structure in music |
| Robert White |
Robot Ethical Training with Dynamic Ethical Preference Logic |
| Philip Schulz |
Doing Bayesian Inference |
| Luca Incurvati |
Is Negation in Denial? |
| Ellen Breitholtz |
Enthymemes in Dialogue - a micro-rhetorical perspective on conversation |
| Julian Schloeder |
English Intonational Meaning in Context |
| Malvin Gattinger |
From Muddy Children to Sum and Product in a few seconds -- Symbolic Model Checking for Dynamic Epistemic Logic. |
| Paul Van Eecke |
Modelling Cultural Language Evolution: the Language Game Paradigm |
| Paolo Galeazzi |
Play Without Regret: A Talk About Rationality |
| Michal Tomasz Godziszewski |
Learnability in the Limit and Low Sets meet the Church Thesis |
| 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 (Universite de Geneve) |
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 |