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

X-2013-01:

Apostolos Tzimoulis, Zhiguang Zhao The Universal Model for the Negation-free Fragment of IPC.
1.Full Text, 2.Abstract.

X-2011-06:

Paula Henk A new perspective on the arithmetical completeness of GL.
1.Full Text, 2.Abstract.

X-2011-05:

Johan van Benthem Epistemic Logic: Five Questions Interview.
1.Full Text, 2.Abstract.

X-2011-04:

Rens Bod, Benedikt Löwe, Sanchit Saraf How much do formal narrative annotations differ? A Proppian case study.
1.Full Text, 2.Abstract.

X-2011-03:

Tarek Besold Computational Models of Analogy-Making. An Overview Analysis of Computational Approaches to Analogical Reasoning.
1.Full Text, 2.Abstract.

X-2011-02:

Edith Elkind, Ulle Endriss, Jérôme Lang IJCAI-2011 Workshop on Social Choice and Artificial Intelligence.
1.Full Text, 2.Abstract.

X-2011-01:

María Inés Crespo, Dimitris Gakis, and Galit Weidman-Sassoon (editors) Proceedings of the Amsterdam Graduate Philosophy Conference - Truth, Meaning, and Normativity.
1.Full Text, 2.Abstract.

X-2010-01:

Theodora Achourioti, Edgar Andrade, Marc Staudacher Proceedings of the Amsterdam Graduate Philosophy Conference 2009 - Meaning and Truth.
1.Full Text, 2.Abstract.

X-2009-04:

Sara L. Uckelman, Peter van Ormondt, Marie-Hélène Gorisse, Laurent Keiff, Nicolas Clerbout A Day of Indian Logic.
1.Full Text, 2.Abstract.

X-2009-03:

Benedikt Löwe LSIR-2: Logic and the Simulation of Interaction and Reasoning.
1.Full Text, 2.Abstract.

X-2009-02:

Theodora Achourioti, Edgar Andrade, Marc Staudacher Proceedings of the Graduate Philosophy Conference on Normativity, Amsterdam 2008.
1.Full Text, 2.Abstract.

X-2009-01:

Johan van Benthem Argumentation through the Lense of Artificial Intelligence.
1.Full Text, 2.Abstract.

X-2008-12:

Ulle Endriss and Paul W. Goldberg Computational Social Choice 2008.
1.Full Text, 2.Abstract.

X-2008-11:

Johan van Benthem Logic and Philosophy in the Century That Was.
1.Full Text, 2.Abstract.

X-2008-10:

Pieter Adriaans, Johan van Benthem Introduction: Information is what information does.
1.Full Text, 2.Abstract.

X-2008-09:

Johan van Benthem Constanten, of Variabelen, van het Logische Denken.
1.Full Text, 2.Abstract.

X-2008-08:

Irma Cornelisse, Patrick Mast, Ricus Smid, Djura Smits Obligationes: Making an interactive website around a medieval game..
1.Full Text, 2.Abstract.

X-2008-07:

Benedikt Löwe Logic and the Simulation of Interaction and Reasoning: Introductory Remarks.
1.Full Text, 2.Abstract.

X-2008-06:

Rens Bod De Unificatie van Menselijke Cognitie.
1.Full Text, 2.Abstract.

X-2008-05:

Rens Bod Constructions at Work or at Rest?.
1.Full Text, 2.Abstract.

X-2008-04:

Jacob Lorhard, transl. by Sara Uckelman Diagraph of Metaphysic or Ontology.
1.Full Text, 2.Abstract.

X-2008-03:

ILLC Latin Reading Group (transl.) Parisian Obligations.
1.Full Text, 2.Abstract.

X-2008-02:

Johan van Benthem Philosophy of Mathematics: Five Candid Answers.
1.Full Text, 2.Abstract.

X-2008-01:

Johan van Benthem Een Postzegel vol Logica.
1.Full Text, 2.Abstract.

X-2007-03:

Fan Yang On HS=SH and Duality Theorems of Intuitionistic Descriptive Frames.
1.Full Text, 2.Abstract.

X-2007-02:

Johan van Benthem An Interview on Logic and Games.
1.Full Text, 2.Abstract.

X-2007-01:

Johan van Benthem Intelligent Interaction: Dynamic Trends in Todays Logic.
1.Full Text, 2.Abstract.

X-2006-04:

Ulle Endriss, Jérôme Lang Computational Social Choice 2006.
1.Full Text, 2.Abstract.

X-2006-03:

Nick Bezhanishvili, Lena Kurzen, Rachel Sterken Student Papers from an Intuitionistic Logic Project.
1.Full Text, 2.Abstract.

X-2006-02:

Joost J. Joosten Credit cards, computationele complexiteit en consistentie uitspraken.
1.Full Text, 2.Abstract.

X-2006-01:

Stefan Bold, Benedikt Löwe The general inductive argument for measure analyses with additive ordinal algebras.
1.Full Text, 2.Abstract.

X-2005-05:

David de Kloet Real Blackwell Determinacy.
1.Full Text, 2.Abstract.

X-2005-04:

Seamus W.H. Holland Solutions to Sorites.
1.Full Text, 2.Abstract.

X-2005-03:

Johan van Benthem A Farewell to Loneliness: dynamic trends in logic to-day.
1.Full Text, 2.Abstract.

X-2005-02:

Benedikt Löwe, Brian Semmes The extent of constructive game labellings.
1.Full Text, 2.Abstract.

X-2005-01:

S. Barry Cooper, Benedikt Löwe, Leen Torenvliet CiE 2005: New Computational Paradigms.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.

X-2004-06:

René de Jonge IL-modellen en bisimulaties.
1.Full Text, 2.Abstract.

X-2004-05:

Faustine van der Grijn (Im)possibility of a coordinated attack.
1.Full Text, 2.Abstract.

X-2004-04:

Benedikt Löwe, Robert van Rooij, Bernhard Schröder, Henk Zeevat ILLC-Day 2 in Bonn ``Language''.
1.Full Text, 2.Abstract, 3.Compact.

X-2004-03:

Benedikt Löwe, Thomas Müller Degrees of Belief and Knowledge in Mathematics.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.

X-2004-02:

Henkjan Honing, Peter Desain Final Report NWO-PIONIER Project "Music, Mind, Machine".
1.Full Text, 2.Abstract.

X-2004-01:

Benedikt Löwe A note on pure variations of axioms of Blackwell determinacy.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.

X-2003-01:

Paul van Ulsen Index of the Troelstra Archive.
1.Full Text (DOC), 2.Full Text (PDF), 3.Full Text (PS), 4.Abstract.

X-2001-01:

A.H. Budiyanto Introduction to Turing Nonrigidity.
1.Full Text, 2.Abstract.

X-2000-04:

Anne Troelstra Ware en Gevoelige Verhalen.
1.Full Text (PDF), 2.Full Text (PS).

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.

X-1999-02:

J.A.G. Groenendijk Questions.
1.Full Text, 2.Abstract.

X-1999-01:

Boudewijn P. de Bruin Game Transformations and Game Equivalence.
1.Full Text, 2.Abstract.

X-1998-03:

Peter van Emde Boas Formalizing UML; Mission Impossible?.
1.Full Text, 2.Abstract.

X-1998-02:

Paul Harrenstein From a Modal Point of View: a Logical Investigation into Modalities De Dicto and De Re.
1.Full Text, 2.Abstract.

X-1998-01:

Ghica van Emde Boas-Lubsen Feature Analysis of Business System 12.
1.Full Text, 2.Abstract.

X-1997-02:

Dimiter Ivanov Vakarelov Applied Modal Logic: Modal Logics in Information Science.
1.Full Text.

X-1997-01:

Paul Dekker, David Beaver Report on ECDS: An Interactive Course on the Internet.
1.Full Text, 2.Abstract.

X-1996-02:

Arthur Bakker, Renatus Ziegler Finsler-Mengenlehre.
1.Full Text.

X-1996-01:

Ingmar Visser Mind Rules: a Philosophical Essay on Psychological Rules and the Rules of Psychology.
1.Full Text, 2.Abstract.

X-1995-01:

Sophie Fischer, Leen Torenvliet The Malleability of $TSP_{2Opt}$.
1.Full Text, 2.Abstract.

X-1994-07:

Michiel Leezenberg The Shabak and the Kakais: Dynamics of Ethnicity in Iraqi Kurdistan.
1.Full Text.

X-1994-06:

Natasha Alechina, Philippe Smets A Note on Modal Logics for Partial Belief.
1.Full Text.

X-1994-05:

Johan van Benthem Logic and Argumentation.
1.Full Text.

X-1994-04:

Harry P. Stein Primitieve Normen: Linguïstische Normativiteit in het Licht van Kripke's Sceptische Paradox.
1.Full Text.

X-1994-03:

Natasha Alechina, Michiel van Lambalgen Correspondence and Completeness for Generalized Quantifiers.
1.Full Text.

X-1994-02:

Vladimir Kanovei, Michiel van Lambalgen Another Construction of Choiceless Ultrapower.
1.Full Text.

X-1994-01:

Johan van Benthem Two Essays on Semantic Modelling.
1.Full Text.

X-1993-06:

Michael Zakharyashev Canonical Formulas for K4. Part II: Cofinal Subframe Logics.
1.Full Text.

X-1993-05:

A.S. Troelstra (editor) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Second, corrected Edition.
1.Full Text.

X-1993-04:

A.S. Troelstra (editor) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Corrections to the First Edition.
1.Full Text.

X-1993-03:

Michiel Leezenberg Gorani Influence on Central Kurdish: Substratum or Prestige Borrowing.
1.Full Text.

X-1993-02:

Maarten de Rijke What is Modal Logic?.
1.Full Text.

X-1993-01:

Paul Dekker Existential Disclosure (revised version of LP-1990-17).
1.Full Text, 2.Abstract.

X-1992-05:

Erik de Haas, Peter van Emde Boas Object Oriented Application Flow Graphs and their Semantics (revised version of CT-1992-01).
1.Full Text.

X-1992-04:

Johan van Benthem Modeling the Kinematics of Meaning.
1.Full Text.

X-1992-03:

Willem Groeneveld Dynamic Semantics and Circular Propositions (revised version of LP-1991-03).
1.Full Text.

X-1992-02:

Konstantin N. Ignatiev The Closed Fragment of Dzhaparidze's Polymodal Logic and the Logic of S1 conservativity.
1.Full Text.

X-1992-01:

Heinrich Wansing The Logic of Information Structures.
1.Full Text.

X-1991-19:

Papers presented at the Provability Interpretability Arithmetic Conference, 24-31 Aug. 1991, Dept. of Phil., Utrecht University.

X-1991-18:

Giovanna Cepparello New Semantics for Predicate Modal Logic: an Analysis from a standard point of view.

X-1991-17:

Michiel van Lambalgen Independence, Randomness and the Axiom of Choice (Revised Version of X-1991-10).

X-1991-16:

V.G. Kanovei Undecidable Hypotheses in Edward Nelson's Internal Set Theory.

X-1991-15:

V. Yu. Shavrukov Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (revised version of X-1991-03).
1.Full Text.

X-1991-14:

Max I. Kanovich The Horn Fragment of Linear Logic is NP-Complete.

X-1991-13:

Max I. Kanovich The Multiplicative Fragment of Linear Logic is NP-Complete.

X-1991-12:

Herman Hendriks Flexibele Categoriale Syntaxis en Semantiek: de proefschriften van Frans Zwarts en Michael Moortgat.

X-1991-11:

Michael Zakharyaschev Canonical Formulas for K4. Part I: Basic Results.

X-1991-10:

Michiel van Lambalgen Independence, Randomness and the Axiom of Choice (superseded by X-1991-17).

X-1991-09:

L.D. Beklemishev On Bimodal Provability Logics for P1-axiomatized Extensions of Arithmetical Theories.

X-1991-08:

Giorgie Dzhaparidze Logic of Tolerance.

X-1991-07:

A.S. Troelstra Lectures on Linear Logic, Errata and Supplement.

X-1991-06:

Annual Report 1990 .
1.Full Text.

X-1991-05:

Johan van Benthem Temporal Logic.
1.Full Text.

X-1991-04:

K.N. Ignatiev Partial Conservativity and Modal Logics.
1.Full Text.

X-1991-03:

V. Yu. Shavrukov Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (superseded by X-1991-15).
1.Full Text.

X-1991-02:

Alexander Chagrov, Michael Zakharyaschev On the Undecidability of the Disjunction Property of Intermediate Propositional Logics.
1.Full Text.

X-1991-01:

Alexander Chagrov, Michael Zakharyaschev The Disjunction Property of Intermediate Propositional Logics.
1.Full Text.

X-1990-15:

A.S. Troelstra Lectures on Linear Logic.

X-1990-14:

L.A. Chagrova Undecidable Problems in Correspondence Theory.
1.Full Text.

X-1990-13:

K.N. Ignatiev Property, Craig's Property.
1.Full Text.

X-1990-12:

Maarten de Rijke Bi-Unary Interpretability Logic.
1.Full Text.

X-1990-11:

Alessandra Carbone Provable Fixed points in ID0+W1 (revised version).
1.Full Text.

X-1990-10:

Sieger van Denneheuvel, Peter van Emde Boas An Overview of the Rule Language RL/1.
1.Full Text.

X-1990-09:

V.Yu. Shavrukov On Rosser's Provability Predicate.
1.Full Text.

X-1990-08:

L.D. Beklemishev Provability Logics for Natural Turing Progressions of Arithmetical Theories.
1.Full Text.

X-1990-07:

V.Yu. Shavrukov The Lindenbaum Fixed Point Algebra is Undecidable.
1.Full Text.

X-1990-06:

Valentin Goranko, Solomon Passy Using the Universal Modality: Gains and Questions.
1.Full Text.

X-1990-05:

Valentin Shehtman Derived Sets in Euclidean Spaces and Modal Logic.
1.Full Text.

X-1990-04:

n.v.t. Annual Report 1989.
1.Full Text.

X-1990-03:

L.D. Beklemishev On the Complexity of Arithmetical Interpretations of Modal Formulae.
1.Full Text.

X-1990-02:

Maarten de Rijke Some Chapters on Interpretability Logic.
1.Full Text.

X-1990-01:

A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics, Revised Version.
1.Full Text.

X-1989-06:

Peter van Emde Boas Een Relationele Semantiek voor Conceptueel Modelleren: Het RL-project.
1.Full Text.

X-1989-05:

Maarten de Rijke The Modal Theory of Inequality.
1.Full Text.

X-1989-04:

Jeroen Groenendijk, Martin Stokhof Dynamic Montague Grammar, a first sketch.
1.Full Text.

X-1989-03:

A.S. Troelstra Index of the Heyting Nachlass.
1.Full Text.

X-1989-02:

G. Wagemakers New Foundations: A Survey of Quine's Set Theory.
1.Full Text.

X-1989-01:

Marianne Kalsbeek An Orey Sentence for Predicative Arithmetic.
1.Full Text.

X-1988-01:

Mark Jumulet On Solovay's Completeness Theorem.
1.Full Text.