View publication by year:
- MoL-2011-01:
- Tom Florian Sterkenburg Sequences with Trivial Initial Segment Complexity
- MoL-2011-02:
- Peter Fritz Matrices and Modalities: On the Logic of Two-Dimensional Semantics
- MoL-2011-03:
- Lars Wortel Side Effects in Steering Fragments
- MoL-2011-04:
- Douwe Kiela Variable Binding in Biologically Plausible Neural Networks
- MoL-2011-05:
- Sophie Arnoult Smoothing a PBSMT Model by Factoring Out Adjuncts
- MoL-2011-06:
- Noortje Joost Venhuizen Negation in Questions
- MoL-2011-07:
- Navid Talebanfard Tightening the Compression Hierarchies
- MoL-2011-08:
- Ilan Frank Information and Representation in Computational Social Choice
- MoL-2011-09:
- Irma Cornelisse Context Dependence of Epistemic Operators in Dynamic Evidence Logic
- MoL-2011-10:
- Cian Chartier Tarski's Threat to the T-Schema
- MoL-2011-11:
- Kasper Højbjerg Christensen Counterfactual Dependencies
- MoL-2011-12:
- Spencer C. Johnston Buridan's Theory of Logical Consequence
- MoL-2011-13:
- Willem M. Baartse Finding the phase transition for Friedman's long finite sequences
- MoL-2011-14:
- Zhenhao Li Degrees of Non-Determinacy and Game Logics on Cardinals under the Axiom of Determinacy
- MoL-2011-15:
- Johannes Marti Relation Liftings in Coalgebraic Modal Logic
- MoL-2011-16:
- Gabriela Asli Rino Nesin Completing partial algebra models of term rewriting systems
- MoL-2011-17:
- Rogier Jacobsz The Cylindric Algebras of 4-Valued Logic
- MoL-2011-18:
- Andreas van Cranenburgh Discontinuous Data-Oriented Parsing through Mild Context-Sensitivity
- MoL-2011-19:
- Annemieke Reijngoud Voter Response to Iterated Poll Information
- MoL-2011-20:
- Floor Rombout "|": Frege, Russell and Wittgenstein on the Judgment Stroke
- MoL-2011-21:
- Bruno Jacinto Consequence in Context: Two-Dimensional Semantics meets Logical Consequence
- PP-2011-01:
- George Barmpalias, Andrew E.M. Lewis Chaitin's halting probability and the compression of strings using oracles
- PP-2011-02:
- Johan van Benthem, Davide Grossi Normal Forms for Priority Graphs
- PP-2011-03:
- Benedikt Löwe Comparing formal frameworks of narrative structure
- PP-2011-04:
- Christian Geist, Ulle Endriss Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
- PP-2011-05:
- George Barmpalias, Andrew E.M. Lewis Measure and cupping in the Turing degrees
- PP-2011-06:
- Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge Designing Incentives for Boolean Games
- PP-2011-07:
- Erich Grädel, Jouko Väänänen Dependence and Independence
- PP-2011-08:
- Yurii Khomskii William of Sherwood, singular propositions and the hexagon of opposition.
- PP-2011-09:
- Jörg Brendle, Yurii Khomskii Polarized partitions on the second level of the projective hierarchy
- PP-2011-10:
- Cédric Dégremont, Benedikt Löwe, Andreas Witzel The synchronicity of dynamic epistemic logic
- PP-2011-11:
- Yurii Khomskii A general setting for the pointwise investigation of determinacy
- PP-2011-12:
- Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections
- PP-2011-13:
- Umberto Grandi, Ulle Endriss Binary Aggregation with Integrity Constraints
- PP-2011-14:
- Daniele Porello, Ulle Endriss Ontology Merging as Social Choice
- PP-2011-15:
- Ulle Endriss Applications of Logic in Social Choice Theory
- PP-2011-16:
- Benedikt Löwe, Eric Pacuit, Andreas Witzel DEL planning and some tractable cases
- PP-2011-17:
- Benedikt Löwe Methodological remarks about comparing formal frameworks for narratives
- PP-2011-18:
- Aline Honingh, Rens Bod Clustering and classification of music by interval categories
- PP-2011-19:
- Johan van Benthem, Eric Pacuit Dynamic Logics of Evidence-Based Beliefs
- PP-2011-20:
- Johan van Benthem Exploring a Theory of Play
- PP-2011-21:
- Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson Sahlqvist Correspondence for Modal Mu-Calculus
- PP-2011-22:
- Johan van Benthem Logic in a Social Setting
- PP-2011-23:
- Johan van Benthem, Hans van Ditmarsch, Stefan Minica Question-Answer Games
- PP-2011-24:
- Johan van Benthem, Fenrong Liu Deontic Logic and Changing Preferences
- PP-2011-25:
- Johan van Benthem Logic between Expressivity and Complexity
- PP-2011-26:
- Johan van Benthem Logic, Mathematics, and General Agency
- PP-2011-27:
- Johan van Benthem, Eric Pacuit, Olivier Roy Toward a Theory of Play: A Logical Perspective on Games and Interaction
- PP-2011-28:
- Johan van Benthem, Amélie Gheerbrant Game Solution, Epistemic Dynamics and Fixed-Point Logics
- PP-2011-29:
- Johan van Benthem, Davide Grossi, Fenrong Liu On the Two Faces of Deontics: Semantic Betterness and Syntactic Priority
- PP-2011-30:
- Johan van Benthem, Fernando Velázquez-Quesada The Dynamics of Awareness
- PP-2011-31:
- Johan van Benthem, Cédric Dégrémont Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
- PP-2011-32:
- Johan van Benthem Dynamic Logic in Natural Language
- PP-2011-33:
- Pietro Galliani Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
- PP-2011-34:
- Nick Bezhanishvili, Dick de Jongh Extendible formulas in two variables in intuitionistic logic
- PP-2011-35:
- Leo Esakia, Benedikt Löwe Fatal Heyting Algebras and Forcing Persistent Sentences
- PP-2011-36:
- Peter van Emde Boas Turing Machines for Dummies: why representations do matter
- PP-2011-37:
- Floris Roelofsen An inquisitive dynamic epistemic logic
- PP-2011-38:
- Khalil Sima'an, Gideon Maillette de Buy Wenniger Hierarchical Translation Equivalence over Word Alignments
- X-2011-01:
- María Inés Crespo, Dimitris Gakis, Galit Weidman-Sassoon (editors) Proceedings of the Amsterdam Graduate Philosophy Conference - Truth, Meaning, and Normativity
- X-2011-02:
- Edith Elkind, Ulle Endriss, Jérôme Lang IJCAI-2011 Workshop on Social Choice and Artificial Intelligence
- X-2011-03:
- Tarek Besold Computational Models of Analogy-Making. An Overview Analysis of Computational Approaches to Analogical Reasoning
- X-2011-04:
- Rens Bod, Benedikt Löwe, Sanchit Saraf How much do formal narrative annotations differ? A Proppian case study
- X-2011-05:
- Johan van Benthem Epistemic Logic: Five Questions Interview
- X-2011-06:
- Paula Henk A new perspective on the arithmetical completeness of GL