ILLC Publications, All Series, 2002 | Institute for Logic, Language and Computation

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