ILLC Publications, All Series, 2002

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

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

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X