View publication by year:
- MoL-2002-01:
- Seth Cable Stand Over There, Please: The Dynamics of Vagueness, the Origins of Vagueness, and How Pie-Cutting Relates to Ancient Heaps of Sand
- MoL-2002-02:
- John Duda Context and Mythology
- MoL-2002-03:
-
Willem Conradie
The Beth Property for Three Extensions of Modal Logic
1.Full Text.
- MoL-2002-04:
- Mathieu Vidal Classifying Conditionals
- MoL-2002-05:
- Bernadette Martínez Hernández Automated Reasoning with Boolean ABoxes
- MoL-2002-06:
- Börkur Sigurbjörnsson Structural Properties of Questionnaires
- MoL-2002-07:
- Luciano Buratto Back-off as Parameter Estimation for DOP models
- MoL-2002-08:
- Marian Counihan What do four-year-olds have in common with Frege?
- MoL-2002-09:
- Rajvinder Singh A Study of Optimality Theory and the Human Sentence Processing Mechanism
- MoL-2002-10:
- Fabrice Nauze Scenarios for the Pass\'e Simple and Imparfait: An Event Calculus Approach to French Semantics
- PP-2002-01:
- Theo Janssen Independent Choices and the Interpretation of IF Logic
- PP-2002-02:
- Maarten Marx, Michael Masuch Regular Equivalence and Dynamic Logic
- PP-2002-03:
- Helle Hvid Hansen, Marc Pauly Axiomatising Nash-Consistent Coalition Logic
- PP-2002-04:
- Troy Lee Arithmetical Definability over Finite Structures
- PP-2002-05:
- Joop Niekus Individual Choice Sequences in the Work of L.E.J.Brouwer
- PP-2002-06:
- Guram Bezhanishvili, Mai Gehrke A New Proof of Completeness of S4 with respect to the Real Line
- PP-2002-07:
- Johan van Benthem, Guram Bezhanishvili, Mai Gehrke Euclidean Hierarchy in Modal Logic
- PP-2002-08:
- Ravi Rajani Generic Structures
- PP-2002-09:
- Mai Gehrke, Hideo Nagahashi, Yde Venema A Sahlqvist Theorem for Distributive Modal Logic
- PP-2002-10:
- Yde Venema Duals of subdirectly irreducible modal algebras
- PP-2002-11:
- Yde Venema Atomless Varieties
- PP-2002-12:
- Patrick Blackburn, Maarten Marx Constructive Interpolation in Hybrid Logic
- PP-2002-13:
- Noor van Leusen, Reinhard Muskens Construction by Description in Discourse Representation
- PP-2002-14:
- Carlos Areces, Maarten de Rijke, Gabriel Infante-Lopez Decomposing Modal Logic
- PP-2002-15:
- Carlos Areces, Juan Heguiabehere HyLoRes: A Hybrid Logic Prover Based on Direct Resolution
- PP-2002-16:
- Carlos Areces, Hans de Nivelle, Maarten de Rijke Resolution in Modal, Description and Hybrid Logic
- PP-2002-17:
- Giovanna D'Agostino, Giacomo Lenzi On Modal mu-Calculus with Explicit Interpolants
- PP-2002-18:
- Nick Bezhanishvili Varieties of Two-Dimensional Cylindric Algebras. Part II
- PP-2002-19:
- Rens Bod, Ronald Kaplan A Data-Oriented Parsing Model for Lexical-Functional Grammar
- PP-2002-20:
- Giovanna Corsi Counterpart Semantics. A Foundational study on Quantified Modal Logics