Institute for Logic, Language and Computation

Publications

Dissertations

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.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.
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 (DOC), 3.Abstract (TXT), 4.Samenvatting (DOC), 5.Samenvatting (TXT).
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 (TXT), 3.Abstract (PDF), 4.Samenvatting (TXT), 5.Samenvatting (PDF).
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 (HTML), 5.Samenvatting (RTF).
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 (TXT), 3.Abstract (PDF).
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 (PDF), 2.Full Text (PS), 3.Samenvatting, 4.Cover, 5.Stellingen (PS), 6.Stellingen (PDF).
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 (PS), 2.Full Text (PDF), 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 (PDF), 2.Full Text (PS), 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 (PDF), 2.Full Text (PS), 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 (PS), 2.Full Text (PDF), 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 (PS), 2.Full Text (PDF), 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 (PS), 2.Full Text (PDF), 3.Abstract, 4.Pdf-note.
DS-2001-01:
Maria Aloni Quantification under Conceptual Covers. For ordering, please contact the ILLC Buro.
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. 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 (PDF), 2.Full Text (PS), 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 (PDF), 2.Full Text (PS), 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 (PS), 2.Full Text (PDF), 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
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 (PS), 2.Full Text (PDF), 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.