Universiteit van Amsterdam

ILLC Publications, All Series, 2002

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
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