uva.nl

Institute for Logic, Language and Computation

ILLC Publications, All Series, 2003

MoL-2003-01:
Chunlai Zhou Some Intuitionistic Provability and Preservativity Logics (and their interrelations)
MoL-2003-02:
Fadillah Tala A Study of Stemming Effects on Information Retrieval in Bahasa Indonesia
MoL-2003-03:
Guillaume Aucher A Combined System for Update Logic and Belief Revision
MoL-2003-04:
Gilad Mishne Source Code Retrieval using Conceptual Graphs
MoL-2003-05:
Tanja Hötte A Model for Epistemic Games
MoL-2003-06:
Oren Tsur Definitional Question Answering Using Trainable Classifiers
MoL-2003-07:
Loredana Afanasiev XML Query Evaluation via CTL Model Checking
PP-2003-01:
Johan van Benthem A Note on Modeling Theories
PP-2003-02:
Johan van Benthem Structural Properties of Dynamic Reasoning
PP-2003-03:
Johan van Benthem Is There Still Logic in Bolzano's Key?
PP-2003-04:
Johan van Benthem The Epistemic Logic of IF Games
PP-2003-05:
Johan van Benthem What Logic Games are Trying to Tell Us
PP-2003-06:
Johan van Benthem Rational Dynamics and Epistemic Logic in Games
PP-2003-07:
Johan van Benthem 'One is a Lonely Number': on the Logic of Communication
PP-2003-08:
Johan van Benthem Categorial Grammar at a Cross-Roads
PP-2003-09:
Johan van Benthem Conditional Probability and Update Logic
PP-2003-10:
Patrick Blackburn, Maarten Marx Tableaux for Quantified Hybrid Logic
PP-2003-11:
Jörg Brendle, Lorenz Halbeisen, Benedikt Löwe Silver Measurability and its Relation to other Regularity Properties
PP-2003-12:
Benedikt Löwe The Pointwise View of Determinacy: Arboreal Forcings, Measurability and Weak Measurability
PP-2003-13:
Ian Hodkinson, Yde Venema Canonical varieties with no canonical axiomatisation
PP-2003-14:
Benedikt Löwe A Hierarchy of norms defined via Blackwell games
PP-2003-15:
Clemens Kupke, Alexander Kurz, Yde Venema Stone Coalgebras
PP-2003-16:
Paul Dekker The Pragmatic Dimension of Indefinites
PP-2003-17:
Evan Goris Extending ILM with an operator for $\Sigma_1$-ness
PP-2003-18:
Benedikt Löwe The Simulation Technique and its Consequences for Infinitary Combinatorics under the Axiom of Blackwell Determinacy
PP-2003-19:
Benedikt Löwe Determinacy for infinite games with more than two players with preferences
PP-2003-20:
Johan van Benthem The Categorial Fine-Structure of Natural Language
PP-2003-21:
Johan van Benthem Logic and the Dynamics of Information
PP-2003-22:
Johan van Benthem What One May Come to Know
PP-2003-23:
Stefan Schlobach Optimal Interpolation in ALC
PP-2003-24:
Helle Hvid Hansen Monotonic Modal Logics
PP-2003-25:
Nick Bezhanishvili, Ian Hodkinson All normal extensions of S5-squared are finitely axiomatizable
PP-2003-26:
R. Goldblatt, I. Hodkinson, Y. Venema Erd\"os graphs resolve Fine's canonicity problem
PP-2003-27:
Rens Bod Explaining New Phenomena in Terms of Previous Phenomena
X-2003-01:
Paul van Ulsen Index of the Troelstra Archive