For ordering copies of ILLC dissertations, please contact the ILLC Buro.

Complementing the dissertations listed below, the ILLC 'Historical Dissertations' Series is a new initiative meant to make some dissertations available that are of historical, and partly also contemporary relevance to the ILLC, and that are not readily accessible elsewhere.

DS-2014-04:

Ben Rodenhäuser A Matter of Trust: Dynamic Attitudes in Epistemic Logic. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2014-03:

Harald A. Bastiaanse Very, Many, Small, Penguins. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting, 3.Cover, 4.Preamble, 5.Chapter1, 6.Chapter2, 7.Appendices.

DS-2014-02:

Thomas Icard The Algorithmic Mind: A Study of Inference in Action. Not available for ordering in Hard Copy.
1.Full Text, 2.Abstract.

DS-2014-01:

Machiel Keestra Sculpting the Space of Actions. Explaining Human Action by Integrating Intentions and Mechanisms. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2013-03:

Giannicola Scarpa Quantum entanglement in non-local games, graph parameters and zero-error information theory. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2013-02:

Virginie Fiutek Playing with Knowledge and Belief. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2013-01:

Simon Pauw Size Matters: Grounding Quantifiers in Spatial Perception. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2012-12:

Joris Dormans Engineering emergence: applied theory for game design. Not available for ordering in Hard Copy.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2012-11:

Floor Sietsma Logics of Communication and Knowledge. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2012-10:

Jeremy Meyers Locations, Bodies, and Sets: A model theoretic investigation into nominalistic mereologies. Not available for ordering in Hard Copy.
1.Full Text, 2.Abstract.

DS-2012-09:

Wesley Halcrow Holliday Knowing What Follows: Epistemic Closure and Epistemic Logic. Not available for ordering in Hard Copy.
1.Full Text, 2.Abstract.

DS-2012-08:

Umberto Grandi Binary Aggregation with Integrity Constraints. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2012-07:

Pietro Galliani The Dynamics of Imperfect Information. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2012-06:

Dimitris Gakis Contextual Metaphilosophy - The Case of Wittgenstein. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

DS-2012-05:

David García Soriano Query-Efficient Computation in Property Testing and Learning Theory. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2012-04:

Yurii Khomskii Regularity Properties and Definability in the Real Number Continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy.. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2012-03:

Edgar José Andrade Lotero Models of Language: Towards a practice-based account of information in natural language. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2012-02:

Markos Mylonakis Learning the Latent Structure of Translation. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2012-01:

Federico Sangati Decomposing and Regenerating Syntactic Trees. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2011-11:

Gideon Borensztajn The neural basis of structure in language. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract (TXT), 3.Abstract (DOC), 4.Samenvatting (TXT), 5.Samenvatting (DOC).

DS-2011-10:

Lena Kurzen Complexity in Interaction. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2011-09:

Raul Andres Leal Modalities Through the Looking Glass: A study on coalgebraic modal logic and their applications. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2011-08:

Stefan Minica Dynamic Logic of Questions. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract (PDF), 3.Abstract (TXT), 4.Samenvatting (TXT), 5.Samenvatting (PDF), 6.Cover.

DS-2011-07:

Jop Briët Grothendieck Inequalities, Nonlocal Games and Optimization. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2011-06:

Rianne Kaptein Effective Focused Retrieval by Exploiting Query Context and Document Structure. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2011-05:

Lauri Keskinen Characterizing All Models in Infinite Cardinalities. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2011-04:

Junte Zhang System Evaluation of Archival Description and Access. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2011-03:

Marijn Koolen The Meaning of Structure: the Value of Link Evidence for Information Retrieval. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract (PDF), 3.Abstract (TXT), 4.Samenvatting (PDF), 5.Samenvatting (TXT).

DS-2011-02:

Fernando Raymundo Velazquez-Quesada Small steps in dynamics of information. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2011-01:

Wouter M. Koolen Combining Strategies Efficiently: High-Quality Decisions from Conflicting Advice. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting, 4.Cover.

DS-2010-12:

Martin Mose Bentzen Stit, Iit, and Deontic Logic for Action Types. Not available for ordering in Hard Copy.
1.Full Text, 2.Abstract.

DS-2010-11:

Nina Gierasimczuk Knowing One's Limits. Logical Analysis of Inductive Inference. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2010-10:

Jacob Vosmaer Logic, Algebra and Topology. Investigations into canonical extensions, duality theory and point-free topology.. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2010-09:

Gaëlle Fontaine Modal Fixpoint Logic: Some Model Theoretic Questions. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2010-08:

Amélie Gheerbrant Fixed-Point Logics on Trees. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting, 4.Cover.

DS-2010-07:

Marc Staudacher Use theories of meaning between conventions and social norms. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2010-06:

Yanjing Wang Epistemic Modelling and Protocol Dynamics. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2010-05:

Jarmo Kontinen Coherence and Complexity in Fragments of Dependence Logic. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2010-04:

Daisuke Ikegami Games in Set Theory and Logic. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2010-03:

Cédric Dégremont The Temporal Mind. Observations on the logic of belief change in interactive systems. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2010-02:

Jonathan Zvesper Playing with Information. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2010-01:

Reut Tsarfaty Relational-Realizational Parsing. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

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. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2009-11:

Michael Franke Signal to Act: Game Theory in Pragmatics. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2009-10:

Tikitu de Jager "Now that you mention it, I wonder...": Awareness, Attention, Assumption. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2009-09:

Olivia Ladinig Temporal expectations and their violations. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2009-08:

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

DS-2009-07:

Kata Balogh Theme with Variations. A Context-based Analysis of Focus. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2009-06:

Chantal Bax Subjectivity after Wittgenstein. Wittgenstein's embodied and embedded subject and the debate about the death of man.. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2009-05:

Andreas Witzel Knowledge and Games: Theory and Implementation. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2009-04:

Sara L. Uckelman Modalities in Medieval Logic. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2009-03:

Brian Thomas Semmes A Game for the Borel Functions. Not available for ordering in Hard Copy.
1.Full Text, 2.Abstract.

DS-2009-02:

Hartmut Fitz Neural Syntax. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2009-01:

Jakub Szymanik Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language. For ordering, please contact the ILLC Buro.
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. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2008-09:

Floris Roelofsen Anaphora Resolved. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2008-08:

Fabrice Nauze Modality in Typological Perspective. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Samenvatting.

DS-2008-07:

Steven de Rooij Minimum Description Length Model Selection: Problems and Extensions. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2008-06:

Falk Unger Noise in Quantum and Classical Computation and Non-locality. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2008-05:

Erik Rietveld Unreflective Action: A Philosophical Contribution to Integrative Neuroscience. Not available for ordering in Hard Copy
1.Abstract, 2.Omslag.

DS-2008-04:

Patrick Girard Modal Logic for Belief and Preference Change. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2008-03:

Olivier Roy Thinking before Acting: Intentions, Logic, Rational Choice. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2008-02:

Fenrong Liu Changing for the Better: Preference Dynamics and Agent Diversity. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2008-01:

Stephanie Wehner Cryptography in a Quantum World. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2007-05:

Yoav Seginer Learning Syntactic Structure. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2007-04:

Katrin Schulz Minimal Models in Semantics and Pragmatics: Free Choice, Exhaustivity, and Conditionals. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract (HTML), 3.Abstract (RTF), 4.Samenvatting (RTF), 5.Samenvatting (HTML).

DS-2007-03:

Darrin Hindsill It's a Process and an Event: Perspectives in Event Semantics. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Samenvatting.

DS-2007-02:

Neta Spiro What contributes to the perception of musical phrases in western classical music?. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting, 4.Frontpage.

DS-2007-01:

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

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. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2006-06:

Merlijn Sevenster Branches of imperfect information: logic, games, and computation. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Samenvatting.

DS-2006-05:

Aline Honingh The Origin and Well-Formedness of Tonal Pitch Structures. Not available for ordering in Hard Copy
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2006-04:

Robert Špalek Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2006-03:

Clemens Kupke Finitary coalgebraic logics. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2006-02:

Nick Bezhanishvili Lattices of intermediate and cylindric modal logics. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2006-01:

Troy Lee Kolmogorov complexity and formula size lower bounds. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2005-05:

Sieuwert van Otterloo A Strategic Analysis of Multi-agent Protocols. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2005-04:

Anna Pilatova A User's Guide to Proper names: Their Pragmatics and Semanics. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract (PDF), 3.Abstract (TXT).

DS-2005-03:

Rosja Mastop What can you do? Imperative mood in Semantic Theory. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2005-02:

Willem-Jan van Hoeve Operations Research Techniques in Constraint Programming. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2005-01:

Balder David ten Cate Model theory for extended modal languages. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2004-03:

Boudewijn de Bruin Explaining Games. On the Logic of Game Theoretic Explanations. Not available for ordering in Hard Copy

DS-2004-02:

Sebastian Brand Rule-based Constraint Propagation: Theory and Applications. For ordering, please contact the ILLC Buro.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.

DS-2004-01:

Hein Philipp Röhrig Quantum Query Complexity and Distributed Computing. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2003-04:

Christof Monz From Document Retrieval to Question Answering. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Samenvatting, 3.Titlepage.

DS-2003-03:

Juan Heguiabehere Building Logic Toolboxes. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2003-02:

Elisabeth Catherine Brouwer Imagining Metaphors: Cognitive Representation in Interpretation and Understanding. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2003-01:

Barteld Kooi Knowledge, chance, and change. For ordering, please contact the ILLC Buro.
1.Full Text (PS), 2.Full Text (PDF), 3.Samenvatting, 4.Cover, 5.Stellingen (PDF), 6.Stellingen (PS).

DS-2002-06:

Ivar Vermeulen A Logical Approach to Competition in Industries. For ordering, please contact the ILLC Buro.
1.Full Text.

DS-2002-05:

Rosella Gennari Mapping Inferences: Constraint Propagation and Diamond Satisfaction. For ordering, please contact the ILLC Buro.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.

DS-2002-04:

Willem Klaas van Dam On Quantum Computation Theory. For ordering, please contact the ILLC Buro.
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. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2002-01:

Nikos Massios Decision-Theoretic Robotic Surveillance. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2001-10:

Marc Pauly Logic for Social Software. Not available for ordering in Hard Copy
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.

DS-2001-09:

Gwen Kerdiles Saying It with Pictures: a Logical Landscape of Conceptual Graphs. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PDF).

DS-2001-08:

Allard Tamminga Belief Dynamics. (Epistemo)logical Investigations. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2001-07:

Katsumi Sasaki Logics and Provability. For ordering, please contact the ILLC Buro.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract, 4.Samenvatting.

DS-2001-06:

Ronald de Wolf Quantum Computing and Communication Complexity. For ordering, please contact the ILLC Buro.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract, 4.Samenvatting.

DS-2001-05:

Eva Hoogland Definability and Interpolation: Model-theoretic investigations. For ordering, please contact the ILLC Buro.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.

DS-2001-04:

Rosalie Iemhoff Provability Logic and Admissible Rules. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2001-03:

Erik de Haas Logics For OO Information Systems: a Semantic Study of Object Orientation from a Categorial Substructural Perspective. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2001-02:

Alexander van den Bosch Rationality in Discovery - a study of Logic, Cognition, Computation and Neuropharmacology. For ordering, please contact the ILLC Buro.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract, 4.Pdf-note.

DS-2001-01:

Maria Aloni Quantification under Conceptual Covers. For ordering, please contact the ILLC Buro.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.

DS-2000-07:

Egbert L.J. Fortuin Polysemy or monosemy: Interpretation of the imperative and the dative-infinitive construction in Russian. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-2000-06:

Hans van Ditmarsch Knowledge Games. Not available for ordering in Hard Copy
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract, 4.Samenvatting.

DS-2000-05:

Carlos Areces Logic Engineering. The Case of Description and Hybrid Logics. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.

DS-2000-04:

Paul van Ulsen E.W. Beth als logicus. Not available for ordering in Hard Copy
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.

DS-2000-03:

Marco Vervoort Games, Walks and Grammars: Problems I've Worked On. For ordering, please contact the ILLC Buro.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract, 4.Errata.

DS-2000-02:

Jaap Kamps A Logical Approach to Computational Theory Building (with applications to sociology). For ordering, please contact the ILLC Buro.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.

DS-2000-01:

Renata Wassermann Resource Bounded Belief Revision. For ordering, please contact the ILLC Buro.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract, 4.Samenvatting.

DS-1999-04:

Barbara Terhal Quantum Algorithms and Quantum Entanglement. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-1999-03:

Jaap Maat Philosophical Languages in the Seventeenth Century: Dalgarno, Wilkins, Leibniz. Not available for ordering in Hard Copy
1.Abstract.

DS-1999-02:

Khalil Sima'an Learning efficient disambiguation. For ordering, please contact the ILLC Buro.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract, 4.Samenvatting.

DS-1999-01:

Jelle Gerbrandy Bisimulations on Planet Kripke. For ordering, please contact the ILLC Buro.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract, 4.Samenvatting.

DS-1998-05:

Mehdi Dastani Languages of Perception. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-1998-04:

Giovanna d'Agostino Modal Logic and Non-Well-Founded Set Theory: Translation, Bisimulation, Interpolation. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-1998-03:

Peter Grunwald The Minimum Description Length Principle and Reasoning under Uncertainty. Not available for ordering in Hard Copy
1.Full Text, 2.Abstract, 3.Samenvatting, 4.Longabstract, 5.Shortabstract.

DS-1998-02:

Sjoerd D. Zwart Approach to the Truth: Verisimilitude and Truthlikeness. For ordering, please contact the ILLC Buro.

DS-1998-01:

Sebastiaan A. Terwijn Computability and Measure. For ordering, please contact the ILLC Buro.
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. For ordering, please contact the ILLC Buro.

DS-1997-05:

Harry Stein The Fiber and the Fabric: An Inquiry into Wittgenstein's Views on Rule-Following and Linguistic Normativity. Not available for ordering in Hard Copy
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-1997-04:

Atocha Aliseda-LLera Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. Not available for ordering in Hard Copy
1.Full Text, 2.Abstract.

DS-1997-03:

Arthur Nieuwendijk On Logic. Inquiries into the Justification of Deduction. Not available for ordering in Hard Copy
1.Full Text, 2.Samenvatting.

DS-1997-02:

Natasa Rakic Common Sense Time and Special Relativity. Not available for ordering in Hard Copy

DS-1997-01:

Ronald Cramer Modular Design of Secure yet Practical Cryptographic Protocols. For ordering, please contact the ILLC Buro.

DS-1996-04:

Jeroen Bruggeman Formalizing Organizational Ecology. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1996-03:

Martin H. van den Berg Some Aspects of the Internal Structure of Discourse: the Dynamics of Nominal Anaphora. Not available for ordering in Hard Copy

DS-1996-02:

Angelo Montanari Metric and Layered Temporal Logic for Time Granularity. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-1996-01:

Lex Hendriks Computations in Propositional Logic. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Samenvatting.

DS-1995-20:

Natasha Alechina Modal Quantifiers. For ordering, please contact the ILLC Buro.

DS-1995-19:

Erik Aarts Investigations in Logic, Language and Computation. For ordering, please contact the ILLC Buro.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract, 4.Samenvatting, 5.Prologue.

DS-1995-18:

Willem Groeneveld Logical Investigations into Dynamic Semantics. Not available for ordering in Hard Copy

DS-1995-17:

Michiel Leezenberg Contexts of Metaphor. Not available for ordering in Hard Copy

DS-1995-16:

Sophie Fischer The Solution Sets of Local Search Problems. For ordering, please contact the ILLC Buro.
1.Table-of-contents.

DS-1995-15:

Marten Trautwein Computational Pitfalls in Tractable Grammatical Formalisms. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-1995-14:

Rens Bod Enriching Linguistics with Statistics: Performance Models of Natural Language. Not available for ordering in Hard Copy
1.Full Text (PDF), 2.Full Text (PS), 3.Samenvatting.

DS-1995-13:

Marianne Kalsbeek Meta-Logics for Logic Programming. For ordering, please contact the ILLC Buro.

DS-1995-12:

Szabolcs Mikulás Taming Logics. Not available for ordering in Hard Copy
1.Abstract.

DS-1995-11:

W.P.M. Meyer Viol Instantial Logic. An Investigation into Reasoning with Instances. Not available for ordering in Hard Copy

DS-1995-10:

Giovanna Cepparello Studies in Dynamic Logic. Not available for ordering in Hard Copy

DS-1995-09:

G.J. Veltink Tools for PSF. For ordering, please contact the ILLC Buro.
1.Samenvatting.

DS-1995-08:

Natasha Kurtonina Frames and Labels. A Modal Analysis of Categorial Inference. Not available for ordering in Hard Copy

DS-1995-07:

Sandro Etalle Transformation and Analysis of (Constraint) Logic Programs. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Samenvatting.

DS-1995-06:

Jos van Wamel Verification Techniques for Elementary Data Types and Retransmission Protocols. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1995-05:

Frank Tip Generation of Program Analysis Tools. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1995-04:

Dejuan Wang Study on the Formal Semantics of Pictures. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.

DS-1995-03:

Maarten Marx Algebraic Relativization and Arrow Logic. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1995-02:

Andreja Prijatelj Investigating Bounded Contraction. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1995-01:

Jacob Brunekreef On Modular Algebraic Protocol Specification. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1994-10:

Zhisheng Huang Logics for Agents with Bounded Rationality. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1994-09:

Wan Fokkink Clocks, Trees and Stars in Process Theory. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1994-08:

Makoto Kanazawa Learnable Classes of Categorial Grammars. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1994-07:

V. Yu. Shavrukov Adventures in Diagonalizable Algebras. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

DS-1994-06:

Domenico Zambella Chapters on Bounded Arithmetic \& on Provability Logic. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

DS-1994-05:

Arie van Deursen Executable Language Definitions, Case Studies and Origin Tracking Techniques. For ordering, please contact the ILLC Buro.
1.Samenvatting.

DS-1994-04:

Jan Jaspars Calculi for Constructive Communication, a Study of the Dynamics of Partial States. For ordering, please contact the ILLC Buro.
1.Abstract.

DS-1994-03:

Nicoline Johanna Drost Process Theory and Equation Solving. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

DS-1994-02:

Jan Willem Cornelis Koorn Generating Uniform User-Interfaces for Interactive Programming Environments. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

DS-1994-01:

Harold Schellinx The Noble Art of Linear Decorating. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

DS-1993-06:

John Tromp Aspects of Algorithms and Complexity. Not available for ordering in Hard Copy
1.Abstract, 2.Samenvatting.

DS-1993-05:

Herman Hendriks Studied Flexibility. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

DS-1993-04:

Maarten de Rijke Extending Modal Logic. Not available for ordering in Hard Copy
1.Abstract, 2.Samenvatting.

DS-1993-03:

Rineke Verbrugge Efficient Metamathematics. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

DS-1993-02:

Harry Buhrman Resource Bounded Reductions. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

DS-1993-01:

Paul Dekker Transsentential Meditations; Ups and downs in dynamic semantics. Not available for ordering in Hard Copy
1.Full Text, 2.Abstract, 3.Samenvatting.