Universiteit van Amsterdam

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-2017-01:
Paolo Galeazzi Play Without Regret. For ordering, please contact the ILLC Buro.
DS-2016-10:
Paula Henk Nonstandard Provability for Peano Arithmetic. A Modal Perspective. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2016-09:
Teresa Piovesan Quantum entanglement: insights via graph parameters and conic optimization. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.
DS-2016-08:
Florian Speelman Position-based Quantum Cryptography and Catalytic Computation. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2016-07:
Andreas van Cranenburgh Rich Statistical Parsing and Literary Language. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting, 4.Cover.
DS-2016-06:
Gideon Maillette de Buy Wenniger Aligning the Foundations of Hierarchical Statistical Machine Translation. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2016-05:
Phong Lê Learning Vector Representations for Sentences - The Recursive Deep Learning Approach. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2016-04:
Johannes Marti Interpreting Linguistic Behavior with Possible World Models. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.
DS-2016-03:
Fleur Leonie Bouwer What do we need to hear a beat? The influence of attention, musical abilities, and accents on the perception of metrical rhythm. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2016-02:
Zoé Christoff Dynamic Logics of Networks: Information Flow and the Spread of Opinion. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2016-01:
Ivano A. Ciardelli Questions in Logic. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract.
DS-2015-05:
Facundo Carreiro Fragments of Fixpoint Logics: Automata and Expressiveness. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2015-04:
Sumit Sourabh Correspondence and Canonicity in Non-Classical Logic. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2015-03:
Shengyang Zhong Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2015-02:
Mathias Winther Madsen The Kid, the Clerk, and the Gambler - Critical Studies in Statistics and Cognitive Science. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
DS-2015-01:
María Inés Crespo Affecting Meaning. Subjectivity and evaluativity in gradable adjectives.. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.Samenvatting.
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, 3.Samenvatting.
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.Abstract, 3.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.Full Text, 2.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.Full Text, 2.Abstract, 3.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.Full Text, 2.Abstract, 3.Samenvatting.
DS-1993-03:
Rineke Verbrugge Efficient Metamathematics. For ordering, please contact the ILLC Buro.
1.Full Text, 2.Abstract, 3.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.

The websites of the UvA make use of cookies. More information Hide this message X
xx