View publication by year:
- MoL-2009-01:
- María Inés Crespo Normativity and interaction: from ethics to semantics
- MoL-2009-02:
- Nicole R. Hausen Wittgenstein's Investigations and Damasio's Explanations: A Comparative Study of Emotion
- MoL-2009-03:
- Daniele Chiffi Analysis of Knowledge, Assertion, Verification
- MoL-2009-04:
- Daan Dirk de Jonge Autistic Number Learning: What Autism Can Tell Us About the Acquisition of Number Concepts
- MoL-2009-05:
- Petros D. Stamatis Going for a Walk on a Fine Summer's Day While a Sea-battle is Taking Place, or Concerning Future Contingents and Intentional Action
- MoL-2009-06:
- Pablo Cubides Kovacsics Decomposition Theorem for Abstract Elementary Classes
- MoL-2009-07:
- Chris Brumwell A Dynamic Analysis of Epistemic Possibility
- MoL-2009-08:
- Wouter Beek Truth-Theoretic Contextualism: Dissolving the Minimalism/Contextualism Debate
- MoL-2009-09:
- Simon Pauw A BiOT Account of Gricean Reasoning
- MoL-2009-10:
- Maria Spychalska Scalar Implicatures and Existential Import: Experimental Study on Quantifiers in Natural Language
- MoL-2009-11:
- Ivano A. Ciardelli Inquisitive Semantics and Intermediate Logics
- MoL-2009-12:
- Karel Van Oudheusden The Advent of Recursion \& Logic in Computer Science
- MoL-2009-13:
- Olga Grigoriadou A Momentary Lapse Of Reason
- MoL-2009-14:
- Lisa Maree Fulford A study of Canonicity for Bi-Implicative Algebras
- MoL-2009-15:
- Floor Sietsma A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems
- MoL-2009-16:
- Samuel Jacob van Gool Methods for Canonicity
- MoL-2009-17:
- Maarten Versteegh iDOP: Iterated Data-Oriented Parsing as a Model for Diachronic Syntax
- MoL-2009-18:
- Salvador Mascarenhas Inquisitive Semantics and Logic
- PP-2009-01:
- Reinhard Blutner, Anatoli Strigin Bidirectional Grammar and Bidirectional Optimization
- PP-2009-02:
- Reinhard Blutner Questions and Answers in an Orthoalgebraic Approach
- PP-2009-03:
- Reinhard Blutner, Elena Hochnadel Two Qubits for C.G. Jung's Theory of Personality
- PP-2009-04:
- Reinhard Blutner Concepts and Bounded Rationality: An Application of Niestegge's Approach to Conditional Quantum Probabilities
- PP-2009-05:
- Jeroen Groenendijk Inquisitive Semantics: Two Possibilities for Disjunction
- PP-2009-06:
- Johan van Benthem The Great Art of Modeling
- PP-2009-07:
- Johan van Benthem Decisions, Actions, and Games: a logical perspective
- PP-2009-08:
- Johan van Benthem CRS and Guarded Logics, a fruitful contact
- PP-2009-09:
- Sara Ramezani, Ulle Endriss Nash Social Welfare in Multiagent Resource Allocation
- PP-2009-10:
- Joel Uckelman, Yann Chevaleyre, Ulle Endriss, Jérôme Lang Representing Utility Functions via Weighted Goals
- PP-2009-11:
- Andrea Giovannucci, Jesús Cerquides, Ulle Endriss, Juan A. Rodríguez-Aguilar A Graphical Formalism for Mixed Multi-Unit Combinatorial Auctions
- PP-2009-12:
- Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Simple Negotiation Schemes for Agents with Simple Preferences: Sufficiency, Necessity and Maximality
- PP-2009-13:
- Jörg Brendle, Benedikt Löwe Eventually Different Functions and Inaccessible Cardinals
- PP-2009-14:
- Cédric Dégremont, Nina Gierasimczuk Can doxastic agents learn? On the temporal structure of learning
- PP-2009-15:
- Raul Leal, Clemens Kupke Of the Hennessy-Milner property and Other Demons
- PP-2009-16:
- Raul Leal, Alexander Kurz Equational Coalgebraic Logic
- PP-2009-17:
- Daisuke Ikegami, David de Kloet, Benedikt Löwe The Axiom of Real Blackwell Determinacy
- PP-2009-18:
- Jeroen Groenendijk, Floris Roelofsen Inquisitive Semantics and Pragmatics
- PP-2009-19:
- Jakub Szymanik, Marcin Zajenkowski Improving methodology of quantifier comprehension experiments
- PP-2009-20:
- Jakub Szymanik, Marcin Zajenkowski Understanding Quantifiers in Language
- PP-2009-21:
- Arthur W. Apter, Stephen C. Jackson, Benedikt Löwe Cofinality and Measurability of the First Three Uncountable Cardinals
- PP-2009-22:
- Benedikt Löwe, Thomas Müller Data and Phenomena in Conceptual Modelling
- PP-2009-23:
- Aline Honingh, Anja Volk De Kracht van Wiskunde in Muziekonderzoek
- PP-2009-24:
- Davide Grossi Doing Argumentation Theory in Modal Logic
- PP-2009-25:
- Daisuke Ikegami Forcing Absoluteness and Regularity Properties
- PP-2009-26:
- Amélie Gheerbrant, Balder ten Cate Craig Interpolation for Linear Temporal Languages
- PP-2009-27:
- David Grossi, Dov Gabbay, Leendert van der Torre The Norm Implementation Problem in Normative Multi-Agent Systems
- PP-2009-28:
- Sara L. Uckelman The reception of Saint Anselm's logic in the 20th and 21st centuries
- PP-2009-29:
- Hamal Ahmet, Terziler Mehmet Peritopological Spaces and Bisimulations
- PP-2009-30:
- Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada Games for Learning - A Sabotage Approach
- PP-2009-31:
- Urszula Wybraniec-Skardowska Polish Logic, a few lines from a personal perspective
- PP-2009-32:
- Johan van Benthem, Stefan Minica Toward a Dynamic Logic of Questions
- PP-2009-33:
- Benedikt Löwe, Eric Pacuit, Sanchit Saraf Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation
- PP-2009-34:
- Johan van Benthem Rolling down the River: Saul Kripke and the course of modal logic
- PP-2009-35:
- Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet Preference Handling in Combinatorial Domains: From AI to Social Choice
- PP-2009-36:
- Sylvain Bouveret, Ulle Endriss, Jérôme Lang Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods
- PP-2009-37:
- Ulle Endriss, Maria Silvia Pini, Francesca Rossi, K. Brent Venable Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness
- PP-2009-38:
- Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
- PP-2009-39:
- Stéphane Airiau, Ulle Endriss Iterated Majority Voting
- PP-2009-40:
- Umberto Grandi, Ulle Endriss First-Order Logic Formalisation of Arrow's Theorem
- PP-2009-41:
- Amélie Gheerbrant Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus
- PP-2009-43:
- Johan van Benthem, Fernando R. Velázquez-Quesada Inference, Promotion, and the Dynamics of Awareness
- PP-2009-44:
- Johan van Benthem Categorial versus Modal Information Theory
- PP-2009-45:
- Junhua Yu Prehistoric Phenomena and Self-referentiality in Realization Procedure
- PP-2009-46:
- Jakub Szymanik, Marcin Zajenkowski Quantifiers and Working Memory
- PP-2009-47:
- Johan van Benthem Horror Contradictionis
- PP-2009-48:
- Johan van Benthem The Logic of Empirical Theories Revisited
- PP-2009-49:
- Bart de Boer, Willem Zuidema Models of Language Evolution: Does the Math Add Up?
- PP-2009-50:
- Willem Zuidema A syllable frequency list for Dutch
- X-2009-01:
- Johan van Benthem Argumentation through the Lense of Artificial Intelligence
- X-2009-02:
- Theodora Achourioti, Edgar Andrade, Marc Staudacher Proceedings of the Graduate Philosophy Conference on Normativity, Amsterdam 2008
- X-2009-03:
- Benedikt Löwe LSIR-2: Logic and the Simulation of Interaction and Reasoning
- X-2009-04:
- Sara L. Uckelman, Peter van Ormondt, Marie-Hélène Gorisse, Laurent Keiff, Nicolas Clerbout A Day of Indian Logic