ILLC Publications, All Series, 2003

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

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