ILLC Publications, All Series, 2000

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

PP-2000-15:
Alessandro Agostini; Dick de Jongh; Franco Montagna Coordination of 01-agents vs. coordination of worlds-based agents.
1.Full Text, 2.Abstract.
PP-2000-14:
Maarten Marx, Nick Bezhanishvili All proper normal extensions of S5--square have the polynomial size model property.
1.Full Text, 2.Abstract.
PP-2000-13:
Maarten Marx, Szabolcs Mikulás Products, or How to Create Modal Logics of High Complexity.
1.Full Text, 2.Abstract.
PP-2000-12:
Valentin Gorankov The Basic Algebra of Game Equivalences.
1.Full Text, 2.Abstract.
PP-2000-11:
Eva Hoogland, Maarten Marx Interpolation in Guarded Fragments.
1.Full Text, 2.Abstract.
PP-2000-10:
Nick Bezhanishvili Varieties of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I..
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2000-09:
Maarten Marx, Yde Venema Local Variations on a Loose Theme: Modal Logic and Decidability.
1.Full Text, 2.Abstract.
PP-2000-08:
Annette Bleeker, Jan van Eijck The Epistemics of Encryption.
1.Full Text, 2.Abstract.
PP-2000-07:
Carlos Areces, Patrick Blackburn, Maarten Marx The Computational Complexity of Hybrid Temporal Logics.
1.Full Text, 2.Abstract.
PP-2000-06:
Rosalie Iemhoff A(nother) characterization of Intuitionistic Propositional Logic.
1.Full Text, 2.Abstract.
PP-2000-05:
Kees Doets Short Proof(s) for Classical Theorems.
1.Full Text, 2.Abstract.
PP-2000-04:
Keith Stenning, Michiel van Lambalgen Semantics as a foundation for psychology: a case study of Wason's selection task.
1.Full Text, 2.Abstract.
PP-2000-03:
Giovanna D'Agostino Characterizing Interpolation Pairs in Infinitary Graded Logics.
1.Full Text, 2.Abstract.
PP-2000-02:
Johan van Benthem Information Transfer across Chu Spaces.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2000-01:
Ian Hodkinson, Szabolcs Mikulás, Yde Venema Axiomatizing Complex Algebras by Games.
1.Full Text, 2.Abstract.
X-2000-04:
Anne Troelstra Ware en Gevoelige Verhalen.
1.Full Text (PS), 2.Full Text (PDF).
X-2000-03:
Johan van Benthem Logic and Games: the third encounter.
1.Abstract.
X-2000-02:
H.P. van Ditmarsch Axioms for Card Games.
1.Full Text, 2.Abstract.
X-2000-01:
H.P. van Ditmarsch Dynamic Knowledge Logic.
1.Full Text, 2.Abstract.
MoL-2000-06:
Shai Berger Studies on the Uses and Usefulness of Diagrams.
1.Full Text, 2.Abstract.
MoL-2000-05:
Patrick Yancey Indeterminacy and Translatability.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract, 4.Word.
MoL-2000-04:
Catarina Dutilh Novaes A Study of William of Ockham's Logic - from Suppositio to Truth Conditions.
1.Full Text, 2.Abstract.
MoL-2000-03:
Sjaak Verbeek An Information Theoretic Approach to Finding Word Groups for Text Classification.
1.Full Text, 2.Abstract.
MoL-2000-02:
Mariana Haim Duality for Lattices with Operators: A Modal Logic Approach.
1.Full Text, 2.Abstract.
MoL-2000-01:
Sophia Velissaratou Conditional Questions and Which-Interrogatives.
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