Main Page Navigation
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
