When available, PDF or postscript files, abstracts and/or summaries of ILLC-publications can be obtained by clicking in the list below, or by ftp from ftp://ftp.science.uva.nl/pub/theory/illc/ in the directories researchreports and dissertations The files in the electronic archive are PDF or compressed postscript files. Instructions on how to view them may be found here.

We also have available as postscript files the complete list of dissertations, an order form for the dissertations, and the complete list of all ILLC publications.

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

For ordering copies of ILLC dissertations, please go to the online Order Form, or contact the ILLC Buro.

Coding for publications: Series-Year-Number, with DS = Dissertation Series; MoL = Master of Logic Thesis; CL = Computational Linguistics (up to 1993); CT = Computation and Complexity Theory (up to 1998); LP = Logic, Philosophy and Linguistics (up to 1998); ML = Mathematical Logic and Foundations (up to 1998); PP = Prepublication Series (since 1999); X = Technical Notes;

DS-2010-03:

Cédric Dégremont The Temporal Mind. Observations on the logic of belief change in interactive systems. Not yet available for ordering.
1.Samenvatting, 2.Abstract.

DS-2010-02:

Jonathan Zvesper Playing with Information. Not yet available for ordering.

DS-2010-01:

Reut Tsarfaty Relational-Realizational Parsing. Not yet available for ordering.

DS-2009-13:

Stefan Bold Cardinals as Ultrapowers. A Canonical Measure Analysis under the Axiom of Determinacy.. Not available for ordering in Hard Copy.
1.Full Text, 2.Abstract.

DS-2009-12:

Joel Uckelman More Than the Sum of Its Parts: Compact Preference Representation Over Combinatorial Domains. Price: 11,50 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-2009-11:

Michael Franke Signal to Act: Game Theory in Pragmatics. Price: 11,50 euro
1.Full Text, 2.Samenvatting, 3.Abstract.

DS-2009-10:

Tikitu de Jager "Now that you mention it, I wonder...": Awareness, Attention, Assumption. Price: 11,50 euro
1.Full Text, 2.Samenvatting, 3.Abstract.

DS-2009-09:

Olivia Ladinig Temporal expectations and their violations. Price: 11,50 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-2009-08:

Tomohiro Hoshi Epistemic Dynamics and Protocol Information. Not available for ordering in Hard Copy.
1.Abstract, 2.Full Text.

DS-2009-07:

Kata Balogh Theme with Variations. A Context-based Analysis of Focus. Price: 11,50 euro
1.Samenvatting, 2.Full Text, 3.Abstract.

DS-2009-06:

Chantal Bax Subjectivity after Wittgenstein. Wittgenstein's embodied and embedded subject and the debate about the death of man.. Price: 11,50 euro
1.Full Text (redacted version), 2.Abstract.

DS-2009-05:

Andreas Witzel Knowledge and Games: Theory and Implementation. Price: 11,50 euro
1.Full Text, 2.Samenvatting, 3.Abstract.

DS-2009-04:

Sara L. Uckelman Modalities in Medieval Logic. Price: 11,50 euro
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2009-03:

Brian Thomas Semmes A Game for the Borel Functions. Price: 11,50 euro
1.Abstract, 2.Full Text.

DS-2009-02:

Hartmut Fitz Neural Syntax. Price: 11,50 euro
1.Full Text, 2.Samenvatting, 3.Abstract.

DS-2009-01:

Jakub Szymanik Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language. Price: 11,50 euro
1.Full Text, 2.Abstract.

DS-2008-10:

Marian Counihan Looking for logic in all the wrong places: an investigation of language, literacy and logic in reasoning. Price: 11,50 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-2008-09:

Floris Roelofsen Anaphora Resolved. Price: 11,50 euro
1.Full Text, 2.Samenvatting, 3.Abstract.

DS-2008-08:

Fabrice Nauze Modality in Typological Perspective. Price: 11,50 euro
1.Abstract, 2.Full Text, 3.Samenvatting.

DS-2008-07:

Steven de Rooij Minimum Description Length Model Selection: Problems and Extensions. Price: 11,50 euro
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2008-06:

Falk Unger Noise in Quantum and Classical Computation and Non-locality. Price: 11,50 euro
1.Samenvatting, 2.Abstract, 3.Full Text.

DS-2008-05:

Erik Rietveld Unreflective Action: A Philosophical Contribution to Integrative Neuroscience. Price: 11,50 euro
1.Omslag, 2.Abstract.

DS-2008-04:

Patrick Girard Modal Logic for Belief and Preference Change. Price: 11,50 euro
1.Full Text, 2.Abstract.

DS-2008-03:

Olivier Roy Thinking before Acting: Intentions, Logic, Rational Choice. Price: 11,50 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-2008-02:

Fenrong Liu Changing for the Better: Preference Dynamics and Agent Diversity. Price: 11,50 euro
1.Full Text, 2.Samenvatting, 3.Abstract.

DS-2008-01:

Stephanie Wehner Cryptography in a Quantum World. Price: 11,50 euro
1.Full Text, 2.Abstract.

DS-2007-05:

Yoav Seginer Learning Syntactic Structure. Price: 11,50 euro
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2007-04:

Katrin Schulz Minimal Models in Semantics and Pragmatics: Free Choice, Exhaustivity, and Conditionals. Price: 11,50 euro
1.Samenvatting (HTML), 2.Samenvatting (RTF), 3.Full Text, 4.Abstract (HTML), 5.Abstract (RTF).

DS-2007-03:

Darrin Hindsill It's a Process and an Event: Perspectives in Event Semantics. Price: 11,50 euro
1.Samenvatting, 2.Full Text.

DS-2007-02:

Neta Spiro What contributes to the perception of musical phrases in western classical music?. Price: 11,50 euro
1.Samenvatting, 2.Full Text, 3.Abstract, 4.Frontpage.

DS-2007-01:

Rudi Cilibrasi Statistical Inference Through Data Compression. Not available for ordering in Hard Copy.
1.Samenvatting, 2.Full Text, 3.Abstract.

DS-2006-08:

Darko Sarenac Products of Topological Modal Logics. Not available for ordering in Hard Copy.
1.Full Text, 2.Abstract.

DS-2006-07:

Marie Nilsenova Rises and Falls. Studies in the Semantics and Pragmatics of Intonation. Price: 11,50 euro
1.Full Text, 2.Samenvatting, 3.Abstract.

DS-2006-06:

Merlijn Sevenster Branches of imperfect information: logic, games, and computation. Price: 11,50 euro
1.Samenvatting, 2.Full Text.

DS-2006-05:

Aline Honingh The Origin and Well-Formedness of Tonal Pitch Structures. Price: 11,50 euro
1.Abstract, 2.Full Text, 3.Samenvatting.

DS-2006-04:

Robert Špalek Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs. Price: 11,50 euro
1.Full Text, 2.Samenvatting, 3.Abstract.

DS-2006-03:

Clemens Kupke Finitary coalgebraic logics. Price: 11,50 euro
1.Full Text, 2.Abstract.

DS-2006-02:

Nick Bezhanishvili Lattices of intermediate and cylindric modal logics. Price: 11,50 euro
1.Abstract, 2.Full Text.

DS-2006-01:

Troy Lee Kolmogorov complexity and formula size lower bounds. Price: 11,50 euro
1.Abstract, 2.Full Text, 3.Samenvatting.

DS-2005-05:

Sieuwert van Otterloo A Strategic Analysis of Multi-agent Protocols. Price: 11,50 euro
1.Samenvatting, 2.Abstract, 3.Full Text.

DS-2005-04:

Anna Pilatova A User's Guide to Proper names: Their Pragmatics and Semanics. Price: 11,50 euro
1.Full Text, 2.Abstract (TXT), 3.Abstract (PDF).

DS-2005-03:

Rosja Mastop What can you do? Imperative mood in Semantic Theory. Price: 11,50 euro
1.Full Text, 2.Abstract.

DS-2005-02:

Willem-Jan van Hoeve Operations Research Techniques in Constraint Programming. Price: 11,50 euro
1.Abstract, 2.Full Text.

DS-2005-01:

Balder David ten Cate Model theory for extended modal languages. Price: 11,50 euro
1.Full Text, 2.Abstract.

DS-2004-03:

Boudewijn de Bruin Explaining Games. On the Logic of Game Theoretic Explanations. Price: 11,50 euro

DS-2004-02:

Sebastian Brand Rule-based Constraint Propagation: Theory and Applications. Price: 11,50 euro
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.

DS-2004-01:

Hein Philipp Röhrig Quantum Query Complexity and Distributed Computing. Price: 11,50 euro
1.Full Text, 2.Abstract.

DS-2003-04:

Christof Monz From Document Retrieval to Question Answering. Price: 11,50 euro
1.Samenvatting, 2.Titlepage, 3.Full Text.

DS-2003-03:

Juan Heguiabehere Building Logic Toolboxes. Price: 11,50 euro
1.Full Text, 2.Abstract.

DS-2003-02:

Elisabeth Catherine Brouwer Imagining Metaphors: Cognitive Representation in Interpretation and Understanding. Price: 11,50 euro
1.Full Text, 2.Abstract.

DS-2003-01:

Barteld Kooi Knowledge, chance, and change. Price: 11.50 euro
1.Stellingen (PS), 2.Stellingen (PDF), 3.Cover, 4.Full Text (PDF), 5.Full Text (PS), 6.Samenvatting.

DS-2002-06:

Ivar Vermeulen A Logical Approach to Competition in Industries. Price: 11.50 euro
1.Full Text.

DS-2002-05:

Rosella Gennari Mapping Inferences: Constraint Propagation and Diamond Satisfaction. Price: 11.50 euro
1.Abstract, 2.Full Text (PS), 3.Full Text (PDF).

DS-2002-04:

Willem Klaas van Dam On Quantum Computation Theory. Price: 11.50 euro
1.Full Text.

DS-2002-03:

Yuri Engelhardt The Language of Graphics. Not available for ordering in Hard Copy.
1.Abstract, 2.Order.

DS-2002-02:

Marco Aiello Spatial Reasoning: Theory and Practice. Price: 11.50 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-2002-01:

Nikos Massios Decision-Theoretic Robotic Surveillance. Price: 11.50 euro
1.Abstract, 2.Full Text.

DS-2001-10:

Marc Pauly Logic for Social Software. SOLD OUT
1.Abstract, 2.Full Text (PDF), 3.Full Text (PS).

DS-2001-09:

Gwen Kerdiles Saying It with Pictures: a Logical Landscape of Conceptual Graphs. Price: 11.50 euro
1.Abstract (TXT), 2.Abstract (PDF), 3.Full Text.

DS-2001-08:

Allard Tamminga Belief Dynamics. (Epistemo)logical Investigations. Price: 11.50 euro
1.Full Text, 2.Abstract.

DS-2001-07:

Katsumi Sasaki Logics and Provability. Price: 11.50 euro
1.Full Text (PDF), 2.Full Text (PS), 3.Samenvatting, 4.Abstract.

DS-2001-06:

Ronald de Wolf Quantum Computing and Communication Complexity. Price: 11.50 euro
1.Samenvatting, 2.Full Text (PS), 3.Full Text (PDF), 4.Abstract.

DS-2001-05:

Eva Hoogland Definability and Interpolation: Model-theoretic investigations. Price: 11.50 euro
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.

DS-2001-04:

Rosalie Iemhoff Provability Logic and Admissible Rules. Price: 11.50 euro
1.Abstract, 2.Full Text.

DS-2001-03:

Erik de Haas Logics For OO Information Systems: a Semantic Study of Object Orientation from a Categorial Substructural Perspective. Price: 11.50 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-2001-02:

Alexander van den Bosch Rationality in Discovery - a study of Logic, Cognition, Computation and Neuropharmacology. Price: 11.50 euro
1.Abstract, 2.Full Text (PS), 3.Full Text (PDF), 4.Pdf-note.

DS-2001-01:

Maria Aloni Quantification under Conceptual Covers. Price: 11.50 euro
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.

DS-2000-07:

Egbert L.J. Fortuin Polysemy or monosemy: Interpretation of the imperative and the dative-infinitive construction in Russian. Price: 16.50 euro
1.Samenvatting, 2.Full Text, 3.Abstract.

DS-2000-06:

Hans van Ditmarsch Knowledge Games. SOLD OUT
1.Full Text (PS), 2.Full Text (PDF), 3.Samenvatting, 4.Abstract.

DS-2000-05:

Carlos Areces Logic Engineering. The Case of Description and Hybrid Logics. Price: 11.50 euro
1.Abstract, 2.Full Text.

DS-2000-04:

Paul van Ulsen E.W. Beth als logicus. SOLD OUT
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.

DS-2000-03:

Marco Vervoort Games, Walks and Grammars: Problems I've Worked On. Price: 14.00 euro
1.Errata, 2.Full Text (PDF), 3.Full Text (PS), 4.Abstract.

DS-2000-02:

Jaap Kamps A Logical Approach to Computational Theory Building (with applications to sociology). Price: 11.50 euro
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.

DS-2000-01:

Renata Wassermann Resource Bounded Belief Revision. Price: 11.50 euro
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract, 4.Samenvatting.

DS-1999-04:

Barbara Terhal Quantum Algorithms and Quantum Entanglement. Price: 11.50 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-1999-03:

Jaap Maat Philosophical Languages in the Seventeenth Century: Dalgarno, Wilkins, Leibniz. SOLD OUT
1.Abstract.

DS-1999-02:

Khalil Sima'an Learning efficient disambiguation. Price: 11.50 euro
1.Full Text (PS), 2.Full Text (PDF), 3.Samenvatting, 4.Abstract.

DS-1999-01:

Jelle Gerbrandy Bisimulations on Planet Kripke. Price: 11.50 euro
1.Abstract, 2.Full Text (PS), 3.Full Text (PDF), 4.Samenvatting.

DS-1998-05:

Mehdi Dastani Languages of Perception. Price: 11.50 euro
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-1998-04:

Giovanna d'Agostino Modal Logic and Non-Well-Founded Set Theory: Translation, Bisimulation, Interpolation. Price: 11.50 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-1998-03:

Peter Grunwald The Minimum Description Length Principle and Reasoning under Uncertainty. SOLD OUT
1.Full Text, 2.Shortabstract, 3.Samenvatting, 4.Abstract, 5.Longabstract.

DS-1998-02:

Sjoerd D. Zwart Approach to the Truth: Verisimilitude and Truthlikeness. Price: 11.50 euro

DS-1998-01:

Sebastiaan A. Terwijn Computability and Measure. Price: 11.50 euro
1.Full Text, 2.Samenvatting.

DS-1997-06:

Leonie Bosveld - de Smet On Mass and Plural Quantification. The Case of French `des'/`du'-NP's. Price: 11.50 euro

DS-1997-05:

Harry Stein The Fiber and the Fabric: An Inquiry into Wittgenstein's Views on Rule-Following and Linguistic Normativity. SOLD OUT

DS-1997-04:

Atocha Aliseda-LLera Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. SOLD OUT
1.Full Text, 2.Abstract.

DS-1997-03:

Arthur Nieuwendijk On Logic. Inquiries into the Justification of Deduction. SOLD OUT
1.Samenvatting, 2.Full Text.

DS-1997-02:

Natasa Rakic Common Sense Time and Special Relativity. SOLD OUT

DS-1997-01:

Ronald Cramer Modular Design of Secure yet Practical Cryptographic Protocols. Price: 11.50 euro

DS-1996-04:

Jeroen Bruggeman Formalizing Organizational Ecology. Price: 9,00 euro
1.Abstract.

DS-1996-03:

Martin H. van den Berg Some Aspects of the Internal Structure of Discourse: the Dynamics of Nominal Anaphora. SOLD OUT

DS-1996-02:

Angelo Montanari Metric and Layered Temporal Logic for Time Granularity. Price: 11.50 euro
1.Abstract, 2.Full Text, 3.Samenvatting.

DS-1996-01:

Lex Hendriks Computations in Propositional Logic. Price: 9,00 euro
1.Full Text, 2.Samenvatting.

DS-1995-20:

Natasha Alechina Modal Quantifiers. Price: 9,00 euro

DS-1995-19:

Erik Aarts Investigations in Logic, Language and Computation. Price: 9,00 euro
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract, 4.Prologue, 5.Samenvatting.

DS-1995-18:

Willem Groeneveld Logical Investigations into Dynamic Semantics. Price: 9,00 euro

DS-1995-17:

Michiel Leezenberg Contexts of Metaphor. SOLD OUT

DS-1995-16:

Sophie Fischer The Solution Sets of Local Search Problems. Price: 9,00 euro
1.Table-of-contents.

DS-1995-15:

Marten Trautwein Computational Pitfalls in Tractable Grammatical Formalisms. Price: 9,00 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-1995-14:

Rens Bod Enriching Linguistics with Statistics: Performance Models of Natural Language. SOLD OUT
1.Full Text (PS), 2.Full Text (PDF), 3.Samenvatting.

DS-1995-13:

Marianne Kalsbeek Meta-Logics for Logic Programming. Price: 9,00 euro

DS-1995-12:

Szabolcs Mikulás Taming Logics. SOLD OUT
1.Abstract.

DS-1995-11:

W.P.M. Meyer Viol Instantial Logic. An Investigation into Reasoning with Instances. SOLD OUT

DS-1995-10:

Giovanna Cepparello Studies in Dynamic Logic. SOLD OUT

DS-1995-09:

G.J. Veltink Tools for PSF. Price: 9,00 euro
1.Samenvatting.

DS-1995-08:

Natasha Kurtonina Frames and Labels. A Modal Analysis of Categorial Inference. SOLD OUT

DS-1995-07:

Sandro Etalle Transformation and Analysis of (Constraint) Logic Programs. Price: 9,00 euro
1.Full Text, 2.Samenvatting.

DS-1995-06:

Jos van Wamel Verification Techniques for Elementary Data Types and Retransmission Protocols. Price: 9,00 euro
1.Abstract.

DS-1995-05:

Frank Tip Generation of Program Analysis Tools. Price: 9,00 euro
1.Abstract.

DS-1995-04:

Dejuan Wang Study on the Formal Semantics of Pictures. Price: 9,00 euro
1.Abstract, 2.Samenvatting, 3.Full Text.

DS-1995-03:

Maarten Marx Algebraic Relativization and Arrow Logic. Price: 9,00 euro
1.Abstract.

DS-1995-02:

Andreja Prijatelj Investigating Bounded Contraction. Price: 9,00 euro
1.Abstract.

DS-1995-01:

Jacob Brunekreef On Modular Algebraic Protocol Specification. Price: 9,00 euro
1.Abstract.

DS-1994-10:

Zhisheng Huang Logics for Agents with Bounded Rationality. Price: 9,00 euro
1.Abstract.

DS-1994-09:

Wan Fokkink Clocks, Trees and Stars in Process Theory. Price: 9,00 euro
1.Abstract.

DS-1994-08:

Makoto Kanazawa Learnable Classes of Categorial Grammars. Price: 9,00 euro
1.Abstract.

DS-1994-07:

V. Yu. Shavrukov Adventures in Diagonalizable Algebras. Price: 9,00 euro
1.Samenvatting, 2.Abstract.

DS-1994-06:

Domenico Zambella Chapters on Bounded Arithmetic \& on Provability Logic. Price: 9,00 euro
1.Abstract, 2.Samenvatting.

DS-1994-05:

Arie van Deursen Executable Language Definitions, Case Studies and Origin Tracking Techniques. Price: 9,00 euro
1.Samenvatting.

DS-1994-04:

Jan Jaspars Calculi for Constructive Communication, a Study of the Dynamics of Partial States. Price: 9,00 euro
1.Abstract.

DS-1994-03:

Nicoline Johanna Drost Process Theory and Equation Solving. Price: 9,00 euro
1.Abstract, 2.Samenvatting.

DS-1994-02:

Jan Willem Cornelis Koorn Generating Uniform User-Interfaces for Interactive Programming Environments. Price: 9,00 euro
1.Abstract, 2.Samenvatting.

DS-1994-01:

Harold Schellinx The Noble Art of Linear Decorating. Price: 9,00 euro
1.Abstract, 2.Samenvatting.

DS-1993-06:

John Tromp Aspects of Algorithms and Complexity. SOLD OUT
1.Abstract, 2.Samenvatting.

DS-1993-05:

Herman Hendriks Studied Flexibility. Price: 11.50 euro
1.Abstract, 2.Samenvatting.

DS-1993-04:

Maarten de Rijke Extending Modal Logic. SOLD OUT
1.Abstract, 2.Samenvatting.

DS-1993-03:

Rineke Verbrugge Efficient Metamathematics. Price: 9,00 euro
1.Abstract, 2.Samenvatting.

DS-1993-02:

Harry Buhrman Resource Bounded Reductions. Price: 9,00 euro
1.Samenvatting, 2.Abstract.

DS-1993-01:

Paul Dekker Transsentential Meditations; Ups and downs in dynamic semantics. SOLD OUT
1.Abstract, 2.Samenvatting.