uva.nl

Institute for Logic, Language and Computation

ILLC Publications, All Series, 1999

MoL-1999-01:
Alessandra Palmigiano Normal Gentzen Deductions in the Classical Case
MoL-1999-02:
Clemens Grabmayer Cut-Elimination in the Implicative Fragment $->G3mi$ of an Intuitionistic $G3$-Gentzen-System and its Computational Meaning
MoL-1999-03:
Rafael Accorsi Exploring the Behaviour of Feature Interaction via Stable Models
MoL-1999-04:
Walter Dean Three Recursion Theoretic Concepts of Genericity
PP-1999-01:
Maarten Marx Relation Algebras Can Tile
PP-1999-02:
Maarten Marx Relativized Relation Algebras
PP-1999-03:
Maarten Marx, Carlos Areces Failure of Interpolation in Combined Modal Logics
PP-1999-04:
Kazushige Terui Labelled Tableau Calculi Generating Simple Models for Substructural Logics
PP-1999-05:
Hans Rott Coherence and Conservation in the Dynamics of Belief, Part I: Finding the Right Framework
PP-1999-06:
Maarten Marx Amalgamation in Finite Dimensional Cylindric Algebras
PP-1999-07:
Carlos Areces, Patrick Blackburn, Maarten Marx Hybrid Logics. Characterization, Interpolation and Complexity
PP-1999-08:
Rosalie Iemhoff On the Admissible Rules of Intuitionistic Propositional Logic
PP-1999-09:
Jaap Kamps, László Pólos Reducing Uncertainty: A Formal Theory of Organizations in Action
PP-1999-10:
Eva Hoogland Algebraic Characterizations of Various Beth Definability Properties
PP-1999-11:
Paul Dekker The Semantics of Dynamic Conjunction
PP-1999-12:
Paul Dekker Coreference and Representationalism
PP-1999-13:
Pieter W. Adriaans Learning Shallow Context-Free Languages under Simple Distributions
PP-1999-14:
Christof Monz, Maarten de Rijke A Tableau Calculus for Pronoun Resolution
PP-1999-15:
Maarten Marx, Stefan Schlobach, Szabolcs Mikulás Labelled Deduction for the Guarded Fragment
PP-1999-16:
Carlos Areces, Hans de Nivelle, Maarten de Rijke Prefixed Resolution: A Resolution Method for Modal and Description Logics
PP-1999-17:
Renata Wassermann, Sven Ove Hansson Local Change
PP-1999-18:
Renata Wassermann, Eduardo Fermé A Note on Prototype Revision
PP-1999-19:
Jeroen Groenendijk The Logic of Interrogation (classical version)
PP-1999-20:
Eva Hoogland, Maarten Marx, Martin Otto Beth Definability for the Guarded Fragment
PP-1999-21:
Nikos Massios, Frans Voorbraak Hierarchical Decision-Theoretic Robotic Surveillance
PP-1999-22:
Johan van Benthem When are Two Games the Same?
PP-1999-23:
Berislav Zarnic Validity of Practical Inference
PP-1999-24:
Marco Aiello, Johan van Benthem Logical Patterns in Space
PP-1999-25:
Marc Pauly, Alexandru Baltag (editors) Proceedings of the ILLC Workshop on Logic and Games. Held in Amsterdam, November 19-20, 1999
PP-1999-26:
Remko Bonnema, Paul Buying, Remko Scha A New Probability Model for Data Oriented Parsing (Extended Version)
PP-1999-27:
Michiel van Lambalgen Conditional Quantification, or Poor Man's Probability
X-1999-01:
Boudewijn P. de Bruin Game Transformations and Game Equivalence
X-1999-02:
J.A.G. Groenendijk Questions