Items where Year is 2000

Group by: Authors | Item Type | No Grouping
Jump to: A | B | D | G | H | I | M | N | S | T | V | Y
Number of items: 25.


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]


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]


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]

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]

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]


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

This list was generated on Mon Jan 17 00:30:04 2022 CET.