Items where Year is 2000

A

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]

B

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]

D

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]

F

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.

G

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

H

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]

I

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

K

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

M

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]

N

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

S

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]

T

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

V

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.

W

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

Y

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