Up a level |

Number of items: **30**.

PP-2002-15:
Areces, Carlos and Heguiabehere, Juan
(2002)
*HyLoRes: A Hybrid Logic Prover Based on Direct Resolution.*
[Report]

PP-2002-16:
Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten
(2002)
*Resolution in Modal, Description and Hybrid Logic.*
[Report]

PP-2002-14:
Areces, Carlos and de Rijke, Maarten and Infante-Lopez, Gabriel
(2002)
*Decomposing Modal Logic.*
[Report]

PP-2002-06:
Bezhanishvili, Guram and Gehrke, Mai
(2002)
*A New Proof of Completeness of S4 with respect to the Real Line.*
[Report]

PP-2002-18:
Bezhanishvili, Nick
(2002)
*Varieties of Two-Dimensional Cylindric Algebras. Part II.*
[Report]

PP-2002-12:
Blackburn, Patrick and Marx, Maarten
(2002)
*Constructive Interpolation in Hybrid Logic.*
[Report]

PP-2002-19:
Bod, Rens and Kaplan, Ronald
(2002)
*A Data-Oriented Parsing Model for Lexical-Functional Grammar.*
[Report]

MoL-2002-07:
Buratto, Luciano
(2002)
*Back-off as Parameter Estimation for DOP models.*
[Report]

MoL-2002-01:
Cable, Seth
(2002)
*Stand Over There, Please: The Dynamics of Vagueness, the Origins of Vagueness, and How Pie-Cutting Relates to Ancient Heaps of Sand.*
[Report]

MoL-2002-03:
Conradie, Willem
(2002)
*The Beth Property for Three Extensions of Modal Logic.*
[Report]

PP-2002-20:
Corsi, Giovanna
(2002)
*Counterpart Semantics. A Foundational study on Quantified Modal Logics.*
[Report]

MoL-2002-08:
Counihan, Marian
(2002)
*What do four-year-olds have in common with Frege?*
[Report]

PP-2002-17:
D'Agostino, Giovanna and Lenzi, Giacomo
(2002)
*On Modal mu-Calculus with Explicit Interpolants.*
[Report]

MoL-2002-02:
Duda, John
(2002)
*Context and Mythology.*
[Report]

PP-2002-09:
Gehrke, Mai and Nagahashi, Hideo and Venema, Yde
(2002)
*A Sahlqvist Theorem for Distributive Modal Logic.*
[Report]

PP-2002-03:
Hansen, Helle Hvid and Pauly, Marc
(2002)
*Axiomatising Nash-Consistent Coalition Logic.*
[Report]

MoL-2002-05:
Hernández, Bernadette Martínez
(2002)
*Automated Reasoning with Boolean ABoxes.*
[Report]

PP-2002-01:
Janssen, Theo
(2002)
*Independent Choices and the Interpretation of IF Logic.*
[Report]

PP-2002-04:
Lee, Troy
(2002)
*Arithmetical Definability over Finite Structures.*
[Report]

PP-2002-02:
Marx, Maarten and Masuch, Michael
(2002)
*Regular Equivalence and Dynamic Logic.*
[Report]

MoL-2002-10:
Nauze, Fabrice
(2002)
*Scenarios for the Pass\'e Simple and Imparfait: An Event Calculus Approach to French Semantics.*
[Report]

PP-2002-05:
Niekus, Joop
(2002)
*Individual Choice Sequences in the Work of L.E.J.Brouwer.*
[Report]

PP-2002-08:
Rajani, Ravi
(2002)
*Generic Structures.*
[Report]

MoL-2002-06:
Sigurbjörnsson, Börkur
(2002)
*Structural Properties of Questionnaires.*
[Report]

MoL-2002-09:
Singh, Rajvinder
(2002)
*A Study of Optimality Theory and the Human Sentence Processing Mechanism.*
[Report]

PP-2002-11:
Venema, Yde
(2002)
*Atomless Varieties.*
[Report]

PP-2002-10:
Venema, Yde
(2002)
*Duals of subdirectly irreducible modal algebras.*
[Report]

MoL-2002-04:
Vidal, Mathieu
(2002)
*Classifying Conditionals.*
[Report]

PP-2002-07:
van Benthem, Johan and Bezhanishvili, Guram and Gehrke, Mai
(2002)
*Euclidean Hierarchy in Modal Logic.*
[Report]

PP-2002-13:
van Leusen, Noor and Muskens, Reinhard
(2002)
*Construction by Description in Discourse Representation.*
[Report]