Number of items: **32**.

DS-2000-05:
Areces, Carlos
(2000)
*Logic Engineering. The Case of Description and Hybrid Logics.*
Doctoral thesis, University of Amsterdam.

PP-2000-07:
Areces, Carlos and Blackburn, Patrick and Marx, Maarten
(2000)
*The Computational Complexity of Hybrid Temporal Logics.*
[Report]

MoL-2000-06:
Berger, Shai
(2000)
*Studies on the Uses and Usefulness of Diagrams.*
[Report]

PP-2000-10:
Bezhanishvili, Nick
(2000)
*Varieties of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I.*
[Report]

PP-2000-08:
Bleeker, Annette and van Eijck, Jan
(2000)
*The Epistemics of Encryption.*
[Report]

PP-2000-03:
D'Agostino, Giovanna
(2000)
*Characterizing Interpolation Pairs in Infinitary Graded Logics.*
[Report]

PP-2000-05:
Doets, Kees
(2000)
*Short Proof(s) for Classical Theorems.*
[Report]

PP-2000-15:
de Jongh; Franco Montagna, Alessandro Agostini; Dick
(2000)
*Coordination of 01-agents vs. coordination of worlds-based agents.*
[Report]

DS-2000-07:
Fortuin, Egbert L.J.
(2000)
*Polysemy or monosemy: Interpretation of the imperative and the dative-infinitive construction in Russian.*
Doctoral thesis, University of Amsterdam.

PP-2000-12:
Gorankov, Valentin
(2000)
*The Basic Algebra of Game Equivalences.*
[Report]

MoL-2000-02:
Haim, Mariana
(2000)
*Duality for Lattices with Operators: A Modal Logic Approach.*
[Report]

PP-2000-01:
Hodkinson, Ian and Mikulás, Szabolcs and Venema, Yde
(2000)
*Axiomatizing Complex Algebras by Games.*
[Report]

PP-2000-11:
Hoogland, Eva and Marx, Maarten
(2000)
*Interpolation in Guarded Fragments.*
[Report]

PP-2000-06:
Iemhoff, Rosalie
(2000)
*A(nother) characterization of Intuitionistic Propositional Logic.*
[Report]

DS-2000-02:
Kamps, Jaap
(2000)
*A Logical Approach to Computational Theory Building (with applications to sociology).*
Doctoral thesis, University of Amsterdam.

PP-2000-14:
Marx, Maarten and Bezhanishvili, Nick
(2000)
*All proper normal extensions of S5--square have the polynomial size model property.*
[Report]

PP-2000-13:
Marx, Maarten and Mikulás, Szabolcs
(2000)
*Products, or How to Create Modal Logics of High Complexity.*
[Report]

PP-2000-09:
Marx, Maarten and Venema, Yde
(2000)
*Local Variations on a Loose Theme: Modal Logic and Decidability.*
[Report]

MoL-2000-04:
Novaes, Catarina Dutilh
(2000)
*A Study of William of Ockham's Logic - from Suppositio to Truth Conditions.*
[Report]

PP-2000-04:
Stenning, Keith and van Lambalgen, Michiel
(2000)
*Semantics as a foundation for psychology: a case study of Wason's selection task.*
[Report]

X-2000-04:
Troelstra, Anne
(2000)
*Ware en Gevoelige Verhalen.*
[Report]

MoL-2000-01:
Velissaratou, Sophia
(2000)
*Conditional Questions and Which-Interrogatives.*
[Report]

MoL-2000-03:
Verbeek, Sjaak
(2000)
*An Information Theoretic Approach to Finding Word Groups for Text Classification.*
[Report]

DS-2000-03:
Vervoort, Marco
(2000)
*Games, Walks and Grammars: Problems I've Worked On.*
Doctoral thesis, University of Amsterdam.

PP-2000-02:
van Benthem, Johan
(2000)
*Information Transfer across Chu Spaces.*
[Report]

X-2000-03:
van Benthem, Johan
(2000)
*Logic and Games: the third encounter.*
[Report]

DS-2000-06:
van Ditmarsch, Hans
(2000)
*Knowledge Games.*
Doctoral thesis, University of Amsterdam.

X-2000-02:
van Ditmarsch, H.P.
(2000)
*Axioms for Card Games.*
[Report]

X-2000-01:
van Ditmarsch, H.P.
(2000)
*Dynamic Knowledge Logic.*
[Report]

DS-2000-04:
van Ulsen, Paul
(2000)
*E.W. Beth als logicus.*
Doctoral thesis, University of Amsterdam.

DS-2000-01:
Wassermann, Renata
(2000)
*Resource Bounded Belief Revision.*
Doctoral thesis, University of Amsterdam.

MoL-2000-05:
Yancey, Patrick
(2000)
*Indeterminacy and Translatability.*
[Report]