Universiteit van Amsterdam

ILLC Publications, All Series, 2009

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