Institute for Logic, Language and Computation

Publications

ILLC Publications, Technical Notes (X) Series

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

X-2014-02:
Shengyang Zhong Definability in Quantum Kripke Frames.
1.Full Text, 2.Abstract.
X-2014-01:
Shengyang Zhong Geometry in Quantum Kripke Frames.
1.Full Text, 2.Abstract.
X-2013-02:
Tanmay Inamdar Successor Large Cardinals in Symmetric Extensions.
1.Full Text, 2.Abstract.
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 (PS), 2.Full Text (PDF), 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 (PDF), 2.Full Text (PS), 3.Abstract.
X-2003-01:
Paul van Ulsen Index of the Troelstra Archive.
1.Full Text (PS), 2.Full Text (PDF), 3.Full Text (DOC), 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 (PS), 2.Full Text (PDF).
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.