ILLC Publications, All Series, 2000 | Institute for Logic, Language and Computation

View publication by year:

MoL-2000-01:: Sophia Velissaratou Conditional Questions and Which-Interrogatives
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-03:: Sjaak Verbeek An Information Theoretic Approach to Finding Word Groups for Text Classification
1.Full Text, 2.Abstract.
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-05:: Patrick Yancey Indeterminacy and Translatability
1.Abstract, 2.Full Text (PDF), 3.Full Text (PS), 4.Word.
MoL-2000-06:: Shai Berger Studies on the Uses and Usefulness of Diagrams
1.Full Text, 2.Abstract.
PP-2000-01:: Ian Hodkinson, Szabolcs Mikulás, Yde Venema Axiomatizing Complex Algebras by Games
1.Full Text, 2.Abstract.
PP-2000-02:: Johan van Benthem Information Transfer across Chu Spaces
1.Abstract, 2.Full Text (PDF), 3.Full Text (PS).
PP-2000-03:: Giovanna D'Agostino Characterizing Interpolation Pairs in Infinitary Graded Logics
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-05:: Kees Doets Short Proof(s) for Classical Theorems
1.Full Text, 2.Abstract.
PP-2000-06:: Rosalie Iemhoff A(nother) characterization of Intuitionistic Propositional Logic
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-08:: Annette Bleeker, Jan van Eijck The Epistemics of Encryption
1.Full Text, 2.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-10:: Nick Bezhanishvili Varieties of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I.
1.Abstract, 2.Full Text (PDF), 3.Full Text (PS).
PP-2000-11:: Eva Hoogland, Maarten Marx Interpolation in Guarded Fragments
1.Full Text, 2.Abstract.
PP-2000-12:: Valentin Gorankov The Basic Algebra of Game Equivalences
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-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-15:: Alessandro Agostini; Dick de Jongh; Franco Montagna Coordination of 01-agents vs. coordination of worlds-based agents
1.Full Text, 2.Abstract.
X-2000-01:: H.P. van Ditmarsch Dynamic Knowledge Logic
1.Full Text, 2.Abstract.
X-2000-02:: H.P. van Ditmarsch Axioms for Card Games
1.Full Text, 2.Abstract.
X-2000-03:: Johan van Benthem Logic and Games: the third encounter
1.Abstract.
X-2000-04:: Anne Troelstra Ware en Gevoelige Verhalen
1.Full Text (PDF), 2.Full Text (PS).