Institute for Logic, Language and Computation

Publications

ILLC Publications, Master of Logic Thesis (MoL) Series

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

MoL-2014-16:
Malvin Gattinger Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols.
1.Full Text, 2.Abstract.
MoL-2014-15:
Nikhil Maddirala Philosophy of logical practice: a case study in formal semantics.
1.Full Text, 2.Abstract.
MoL-2014-14:
Sarah McWhirter An Automata-Theoretic Perspective on Polyadic Quantification in Natural Language.
1.Full Text, 2.Abstract.
MoL-2014-13:
Michele Herbstritt Why can't we be surprised whether it rains in Amsterdam? A semantics for factive verbs and embedded questions.
1.Full Text, 2.Abstract.
MoL-2014-12:
Simon Docherty A Model Of Type Theory In Cubical Sets With Connections.
1.Full Text, 2.Abstract.
MoL-2014-11:
Guus Willem Eelink Davidson on belief, truth, and the sceptic.
1.Full Text, 2.Abstract.
MoL-2014-10:
Julia Ilin An Outline of Algebraic Set Theory with a View Towards Cohen's Model Falsifying the Continuum Hypothesis.
1.Full Text, 2.Abstract.
MoL-2014-09:
Julian J. Schlöder Uptake, Clarification and Argumentation.
1.Full Text, 2.Abstract.
MoL-2014-08:
Seyed Mohammad Yarandi Proper Names and Propositional Attitudes.
1.Full Text, 2.Abstract.
MoL-2014-07:
Nadine Theiler A Multitude of Answers: Embedded Questions in Typed Inquisitive Semantics.
1.Full Text, 2.Abstract.
MoL-2014-06:
Ciyang Qing Quantiative Social-Cognitive Experimental Pragmatics.
1.Full Text, 2.Abstract.
MoL-2014-05:
Sebastian Speitel Limning the True and Ultimate Structure of Reality.
1.Full Text, 2.Abstract.
MoL-2014-04:
Andreea Achimescu Games and Logics for Informational Cascades.
1.Full Text, 2.Abstract.
MoL-2014-03:
Rachel Boddy Epistemic Issues and Group Knowledge.
1.Full Text, 2.Abstract.
MoL-2014-02:
Alexander C. Block Operations on a Wadge-Type Hierarchy of Ordinal-Valued Functions.
1.Full Text, 2.Abstract.
MoL-2014-01:
Maria Dimarogkona The Problem of Existence in Western Philosophy: Aristotle - Thomas Aquinas.
1.Full Text, 2.Abstract.
MoL-2013-28:
YunQi Xue Towards Closed-World Reasoning in Games - Ultimatum Game Revisited.
1.Full Text, 2.Abstract (RTF), 3.Abstract (TXT).
MoL-2013-27:
Vlasta Sikimic Towards a Proof-Theoretic Semantics for Dynamic Logics.
1.Full Text, 2.Abstract.
MoL-2013-26:
Ásgeir Berg Matthíasson A Chalet on Mount Everest: Interpretations of Wittgenstein's Remarks on Gödel.
1.Full Text, 2.Abstract.
MoL-2013-25:
Anthony Renard A Final Coalgebra Theorem in the Context of Algebraic Set Theory.
1.Full Text, 2.Abstract.
MoL-2013-24:
Sylvia Pauw Synthesis, Judgment and the Categories of Quantity.
1.Full Text, 2.Abstract.
MoL-2013-23:
Maximilian Johannes Fillinger Reconstructing the Cryptanalytic Attack behind the Flame Malware.
1.Full Text, 2.Abstract.
MoL-2013-22:
Heleen Booy Philosophy in primary schools - Developing teachers' manuals for different age groups.
1.Full Text, 2.Abstract, 3.Appendix_1-6, 4.Appendix_7, 5.Appendix_8.
MoL-2013-21:
Adam Crager The infinite in Aristotle's logical epistemology.
1.Full Text, 2.Abstract.
MoL-2013-20:
Cecilia Chávez Aguilera. Non-well founded semantics for belief revision.
1.Full Text, 2.Abstract.
MoL-2013-19:
Alessandra Marra What should have been the case. A temporal update semantics for necessity deontic modals.
1.Full Text, 2.Abstract.
MoL-2013-18:
Robert Carrington Learning and Knowledge in Social Networks.
1.Full Text, 2.Abstract.
MoL-2013-17:
Ryan Nefdt Constituentless Compositionality: A Compositional Account of Dependency Grammar.
1.Full Text, 2.Abstract.
MoL-2013-16:
Hugo de Holanda Cunha Nobrega Game characterizations of function classes and Weihrauch degrees.
1.Full Text, 2.Abstract.
MoL-2013-15:
Maurice Pico Completeness proofs via canonical models on increasingly generalized settings.
1.Full Text, 2.Abstract.
MoL-2013-14:
Hans Bugge Grathwohl Programming with Classical Proofs.
1.Full Text, 2.Abstract.
MoL-2013-13:
Aybüke Özgün Topological Models for Belief and Belief Revision.
1.Full Text, 2.Abstract.
MoL-2013-12:
Apostolos Tzimoulis Determinacy and measurable cardinals in HOD.
1.Full Text, 2.Abstract.
MoL-2013-11:
José Pedro Correia The Bivalent Trap: Vagueness, Theories of Meaning and Identity.
1.Full Text, 2.Abstract.
MoL-2013-10:
Zhiguang Zhao Algebraic Canonicity in Non-Classical Logics.
1.Full Text, 2.Abstract.
MoL-2013-09:
Femke Bekius The Iterative Minimum Cost Spanning Tree Problem.
1.Full Text, 2.Abstract.
MoL-2013-08:
Nathaniel Forde A Demand of Reason: Dependence in Logic and Probability.
1.Full Text, 2.Abstract.
MoL-2013-07:
Tanmay C. Inamdar On The Modal Logics of Some Set-Theoretic Constructions.
1.Full Text, 2.Abstract.
MoL-2013-06:
Elbert J. Booij Kinds, Composition and the Identification Problem.
1.Full Text, 2.Abstract.
MoL-2013-05:
Giovanni Cinà On the connection between the categorical and the modal logic approaches to Quantum Mechanics.
1.Full Text, 2.Abstract.
MoL-2013-04:
Georgios Sarailidis On the Power of Evolution.
1.Full Text, 2.Abstract.
MoL-2013-03:
Gianluca Paolini Dependence Logic in Algebra and Model Theory.
1.Full Text, 2.Abstract.
MoL-2013-02:
Radek Ocelák Carving up the rainbow: how to model linguistic categorization of color.
1.Full Text, 2.Abstract.
MoL-2013-01:
Maria Velema Classical Encryption and Authentication under Quantum Attacks.
1.Full Text, 2.Abstract.
MoL-2012-23:
Peter van Ormondt Finite narrative modelling, contextual dynamic semantics and Elusive Knowledge.
1.Full Text, 2.Abstract.
MoL-2012-22:
Ekaterina Garmash Refining translation grammars through paraphrase clustering.
1.Full Text, 2.Abstract.
MoL-2012-21:
Aadil Hanif Kurji An Update Semantics for Promises and Other Obligation-Creating Speech Acts: A Promising Start.
1.Full Text, 2.Abstract.
MoL-2012-20:
Marta Sznajder Dynamic Semantics for Intensional Transitive Verbs - a Case Study.
1.Full Text, 2.Abstract.
MoL-2012-19:
Yves Fomatati Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus.
1.Full Text, 2.Abstract.
MoL-2012-18:
Stefanie Kooistra Logic in Classical and Evolutionary Games.
1.Full Text, 2.Abstract.
MoL-2012-17:
Nal Emmerich Kalchbrenner Walking the Graph of Language: On a Framework for Meaning and Analogy.
1.Full Text, 2.Abstract.
MoL-2012-16:
Aleks Knoks Abnormality Counts!.
1.Full Text, 2.Abstract.
MoL-2012-15:
Kyndylan Nienhuis Automatic Verication of Programs with Indirection.
1.Full Text, 2.Abstract.
MoL-2012-14:
Vahid M. Hashemi Extracting Trends from Incomplete Ordinal Preferences.
1.Full Text, 2.Abstract.
MoL-2012-13:
Riccardo Pinosio Kant's Transcendental Synthesis of the Imagination and Constructive Euclidean Geometry.
1.Full Text, 2.Abstract.
MoL-2012-12:
Haitao Cai Causation and the Semantics of Counterfactuals.
1.Full Text, 2.Abstract.
MoL-2012-11:
Tong Wang An Ehrenfeucht-Fraisse Game for the Logic L-omega1-omega.
1.Full Text, 2.Abstract.
MoL-2012-10:
Paula Henk Supremum in the Lattice of Interpretability.
1.Full Text, 2.Abstract.
MoL-2012-09:
Antonio Florio Science in Axiomatic Perspective.
1.Full Text, 2.Abstract.
MoL-2012-08:
Fabio Zanasi Expressiveness of Monadic Second Order Logics on Infinite Trees of Arbitrary Branching Degree.
1.Full Text, 2.Abstract.
MoL-2012-07:
Fenner Tanswell Proof and Prejudice: Why Formalising doesn't make you a Formalist.
1.Full Text, 2.Abstract.
MoL-2012-06:
Alwin Blok Interaction, observation and denotation: A study of dialgebras for program semantics.
1.Full Text, 2.Abstract.
MoL-2012-05:
Pawel Lojko Inquisitive Semantics and the Paradoxes of Material Implication.
1.Full Text, 2.Abstract.
MoL-2012-04:
Daan Staudt Completeness for Two Left-Sequential Logics.
1.Full Text, 2.Abstract.
MoL-2012-03:
Thomas Peetz On Context-Free Grammar Induction by Incremental Compression.
1.Abstract.
MoL-2012-02:
Sylvia Boicheva Mechanism Design without Money.
1.Full Text, 2.Abstract.
MoL-2012-01:
Viktoriia Denisova Ontological Commitment of Natural Language Semantics.
1.Full Text, 2.Abstract.
MoL-2011-21:
Bruno Jacinto Consequence in Context: Two-Dimensional Semantics meets Logical Consequence.
1.Full Text, 2.Abstract.
MoL-2011-20:
Floor Rombout "|": Frege, Russell and Wittgenstein on the Judgment Stroke.
1.Full Text, 2.Abstract.
MoL-2011-19:
Annemieke Reijngoud Voter Response to Iterated Poll Information.
1.Full Text, 2.Abstract.
MoL-2011-18:
Andreas van Cranenburgh Discontinuous Data-Oriented Parsing through Mild Context-Sensitivity.
1.Full Text, 2.Abstract.
MoL-2011-17:
Rogier Jacobsz The Cylindric Algebras of 4-Valued Logic.
1.Full Text, 2.Abstract.
MoL-2011-16:
Gabriela Asli Rino Nesin Completing partial algebra models of term rewriting systems.
1.Full Text, 2.Abstract.
MoL-2011-15:
Johannes Marti Relation Liftings in Coalgebraic Modal Logic.
1.Full Text, 2.Abstract.
MoL-2011-14:
Zhenhao Li Degrees of Non-Determinacy and Game Logics on Cardinals under the Axiom of Determinacy.
1.Full Text, 2.Abstract.
MoL-2011-13:
Willem M. Baartse Finding the phase transition for Friedman's long finite sequences.
1.Full Text, 2.Abstract.
MoL-2011-12:
Spencer C. Johnston Buridan's Theory of Logical Consequence.
1.Full Text, 2.Abstract.
MoL-2011-11:
Kasper Højbjerg Christensen Counterfactual Dependencies.
1.Full Text, 2.Abstract.
MoL-2011-10:
Cian Chartier Tarski's Threat to the T-Schema.
1.Full Text, 2.Abstract.
MoL-2011-09:
Irma Cornelisse Context Dependence of Epistemic Operators in Dynamic Evidence Logic.
1.Full Text, 2.Abstract.
MoL-2011-08:
Ilan Frank Information and Representation in Computational Social Choice.
1.Full Text, 2.Abstract.
MoL-2011-07:
Navid Talebanfard Tightening the Compression Hierarchies.
1.Full Text, 2.Abstract.
MoL-2011-06:
Noortje Joost Venhuizen Negation in Questions.
1.Full Text, 2.Abstract.
MoL-2011-05:
Sophie Arnoult Smoothing a PBSMT Model by Factoring Out Adjuncts.
1.Full Text, 2.Abstract.
MoL-2011-04:
Douwe Kiela Variable Binding in Biologically Plausible Neural Networks.
1.Full Text, 2.Abstract.
MoL-2011-03:
Lars Wortel Side Effects in Steering Fragments.
1.Full Text, 2.Abstract.
MoL-2011-02:
Peter Fritz Matrices and Modalities: On the Logic of Two-Dimensional Semantics.
1.Full Text, 2.Abstract.
MoL-2011-01:
Tom Florian Sterkenburg Sequences with Trivial Initial Segment Complexity.
1.Full Text, 2.Abstract.
MoL-2010-20:
Antonio Negro Quine's challenge and Logical Pluralism.
1.Full Text, 2.Abstract.
MoL-2010-19:
Remi Turk A modern back-end for a dependently typed language.
1.Full Text, 2.Abstract.
MoL-2010-18:
Alexandru Marcoci The Surprise Examination Paradox in Dynamic Epistemic Logic.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PDF).
MoL-2010-17:
Bert Christiaan Regenboog Reactive Valuations.
1.Full Text, 2.Abstract.
MoL-2010-16:
Hélène Tourigny Exploiting Systematicity: a Connectionist Model of Bootstrapping in Language Acquisition.
1.Full Text, 2.Abstract.
MoL-2010-15:
Matthew P. Wampler-Doty Evidentialist Logic.
1.Full Text, 2.Abstract.
MoL-2010-14:
Lorenz Demey Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic.
1.Full Text, 2.Abstract.
MoL-2010-13:
Hanne Kristin Berg Philosophy of time: Combining the A-series and the B-series.
1.Full Text, 2.Abstract.
MoL-2010-12:
Jonathan Shaheen Relevance-Based Partition Semantics for Why-Questions.
1.Full Text, 2.Abstract.
MoL-2010-11:
Margaux Smets A U-DOP approach to modeling language acquisition.
1.Full Text, 2.Abstract.
MoL-2010-10:
Ernst Odolphi Temporal Binding by Short-Term Synaptic Plasticity.
1.Full Text, 2.Abstract.
MoL-2010-09:
Kian Mintz-Woo Independence Weakening in Judgment Aggregation.
1.Full Text, 2.Abstract.
MoL-2010-08:
David Fiske Toward an Evolutionary Linguistic Theory.
1.Full Text, 2.Abstract.
MoL-2010-07:
Mark Beumer Apportionment in Theory and Practice.
1.Full Text, 2.Abstract.
MoL-2010-06:
Stephan Schroevers Expressiveness and Extensions of an Instruction Sequence Semigroup.
1.Full Text, 2.Abstract.
MoL-2010-05:
Nicola Di Giorgio Non-Standard Models of Arithmetic: a Philosophical and Historical perspective.
1.Full Text, 2.Abstract.
MoL-2010-04:
Yacin Hamami The Interrogative Model of Inquiry meets Dynamic Epistemic Logics.
1.Full Text, 2.Abstract.
MoL-2010-03:
Charlotte Vlek Definability in the Degrees of Randomness.
1.Full Text, 2.Abstract.
MoL-2010-02:
Christian Geist Automated Search for Impossibility Theorems in Choice Theory: Ranking Sets of Objects.
1.Full Text, 2.Abstract.
MoL-2010-01:
Frank Nebel Shortest Path Games: Computational Complexity of Solution Concepts.
1.Full Text, 2.Abstract.
MoL-2009-18:
Salvador Mascarenhas Inquisitive Semantics and Logic.
1.Full Text, 2.Abstract.
MoL-2009-17:
Maarten Versteegh iDOP: Iterated Data-Oriented Parsing as a Model for Diachronic Syntax.
1.Full Text, 2.Abstract.
MoL-2009-16:
Samuel Jacob van Gool Methods for Canonicity.
1.Full Text, 2.Abstract.
MoL-2009-15:
Floor Sietsma A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems.
1.Full Text, 2.Abstract.
MoL-2009-14:
Lisa Maree Fulford A study of Canonicity for Bi-Implicative Algebras.
1.Full Text, 2.Abstract (PDF), 3.Abstract (TXT).
MoL-2009-13:
Olga Grigoriadou A Momentary Lapse Of Reason.
1.Full Text, 2.Abstract.
MoL-2009-12:
Karel Van Oudheusden The Advent of Recursion \& Logic in Computer Science.
1.Full Text, 2.Abstract.
MoL-2009-11:
Ivano A. Ciardelli Inquisitive Semantics and Intermediate Logics.
1.Full Text, 2.Abstract.
MoL-2009-10:
Maria Spychalska Scalar Implicatures and Existential Import: Experimental Study on Quantifiers in Natural Language.
1.Full Text, 2.Abstract.
MoL-2009-09:
Simon Pauw A BiOT Account of Gricean Reasoning.
1.Full Text, 2.Abstract.
MoL-2009-08:
Wouter Beek Truth-Theoretic Contextualism: Dissolving the Minimalism/Contextualism Debate.
1.Full Text, 2.Abstract.
MoL-2009-07:
Chris Brumwell A Dynamic Analysis of Epistemic Possibility.
1.Full Text, 2.Abstract.
MoL-2009-06:
Pablo Cubides Kovacsics Decomposition Theorem for Abstract Elementary Classes.
1.Full Text, 2.Abstract.
MoL-2009-05:
Petros D. Stamatis Going for a Walk on a Fine SummerâÂÂs Day While a Sea-battle is Taking Place, or Concerning Future Contingents and Intentional Action.
1.Full Text, 2.Abstract.
MoL-2009-04:
Daan Dirk de Jonge Autistic Number Learning: What Autism Can Tell Us About the Acquisition of Number Concepts.
1.Full Text, 2.Abstract.
MoL-2009-03:
Daniele Chiffi Analysis of Knowledge, Assertion, Verification.
1.Full Text, 2.Abstract.
MoL-2009-02:
Nicole R. Hausen Wittgenstein's Investigations and Damasio's Explanations: A Comparative Study of Emotion.
1.Full Text, 2.Abstract.
MoL-2009-01:
María Inés Crespo Normativity and interaction: from ethics to semantics.
1.Full Text, 2.Abstract.
MoL-2008-12:
Fan Yang Intuitionistic Subframe Formulas, NNIL-Formulas and n-universal Models.
1.Full Text, 2.Abstract.
MoL-2008-11:
Rachel Sterken Concatenation as a basis for Q and the Intuitionistic variant of Nelson's Classic Result.
1.Full Text, 2.Abstract.
MoL-2008-10:
Dewi S. Harten How to solve the conjunction fallacy? A discussion of alternative approaches.
1.Full Text, 2.Abstract, 3.Front.
MoL-2008-09:
Sara Ramezani Khorshid Doost Nash Social Welfare in Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
MoL-2008-08:
Pietro Galliani Game values and equilibria for undetermined sentences of Dependence Logic.
1.Full Text, 2.Abstract.
MoL-2008-07:
Loes Olde Loohuis Multi-Player Logics.
1.Full Text, 2.Abstract.
MoL-2008-06:
Thomas Icard Models of the Polymodal Provability Logic.
1.Full Text, 2.Abstract.
MoL-2008-05:
Luite Menno Pieter van Zelst Modeling Computer Viruses.
1.Full Text, 2.Abstract.
MoL-2008-04:
Martijn Pennings A Konolige bridge between default logic and autoepistemic logic.
1.Full Text, 2.Abstract.
MoL-2008-03:
Szymon Klarman ABox Abduction in Description Logic.
1.Full Text, 2.Abstract.
MoL-2008-02:
Silvia Gaio Gradability without Degrees.
1.Full Text, 2.Abstract.
MoL-2008-01:
Caroline Foster The Problem of the Perfect Agent: Investigations into Determinism.
1.Full Text, 2.Abstract.
MoL-2007-23:
Federico Sangati Towards simpler tree substitution grammars.
1.Full Text, 2.Abstract.
MoL-2007-22:
Petter Remen Automata on flows.
1.Full Text, 2.Abstract.
MoL-2007-21:
Theodora Achourioti Logic, Normativity, and the A Priori.
1.Full Text, 2.Abstract.
MoL-2007-20:
Gustaaf Haan How illiterates interpret syllogistic problems.
1.Full Text, 2.Abstract.
MoL-2007-19:
Raul Andres Leal Rodriguez Expressivity of Coalgebraic Modal Languages.
1.Full Text, 2.Abstract.
MoL-2007-18:
Lena Kurzen Logics for Cooperation, Actions and Preferences.
1.Full Text, 2.Abstract.
MoL-2007-17:
Brammert Ottens Comparing Winner Determination Algorithms for Mixed Multi-Unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
MoL-2007-16:
Jesse Aron Harris Revealing Concealment: A (Neuro-)Logical Investigation of Concealed Questions.
1.Full Text, 2.Abstract.
MoL-2007-15:
Christian Kissig Decidability of S2S.
1.Full Text, 2.Abstract.
MoL-2007-14:
Joost Winter Space Complexity in Infinite Time Turing Machines.
1.Full Text, 2.Abstract.
MoL-2007-13:
Ansten Mørch Klev Extending Kleene's O Using Infinite Time Turing Machines.
1.Full Text, 2.Abstract (RTF), 3.Abstract (TXT).
MoL-2007-12:
Sandeep Murthy Group-theoretic Methods for Bounding the Exponent of Matrix Multiplication.
1.Full Text, 2.Abstract.
MoL-2007-11:
Yurii Khomskii Regularity Properties and Determinacy.
1.Full Text, 2.Abstract.
MoL-2007-10:
David Chabot Individual-level Predicates and When-Conditionals.
1.Full Text, 2.Abstract.
MoL-2007-09:
Harald Bastiaanse Clarity in Non-Monotonic Logic.
1.Full Text, 2.Abstract.
MoL-2007-08:
Ori Garin A computational model of reference.
1.Full Text, 2.Abstract.
MoL-2007-07:
Marcello Di Bello Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law.
1.Full Text, 2.Abstract.
MoL-2007-06:
Gerben de Vries Formalizing Implicatures Using Extended Logic Programming.
1.Full Text, 2.Abstract.
MoL-2007-05:
Can Baskent Topics in Subset Space Logic.
1.Full Text, 2.Abstract.
MoL-2007-04:
Tijmen R. Daniëls Social Choice and Logic via Simple Games.
1.Full Text, 2.Abstract.
MoL-2007-03:
Höskuldur Hlynsson Transfer Learning Using the Minimum Description Length Principle with a Decision Tree Application.
1.Full Text, 2.Abstract.
MoL-2007-02:
Wouter Koolen Discovering the truth by conducting experiments.
1.Full Text, 2.Abstract.
MoL-2007-01:
Jonathan Zvesper A Revised Version: Belief Revision and Epistemic Acts.
1.Full Text, 2.Abstract.
MoL-2006-09:
Jacob Vosmaer Connecting the profinite completion and the canonical extension using duality.
1.Full Text, 2.Abstract.
MoL-2006-08:
Gaëlle Fontaine Axiomatization of ML and Cheq.
1.Full Text, 2.Abstract.
MoL-2006-07:
Martin Müller Accent and Focus in OT: a Cross-Linguistic Perspective.
1.Full Text, 2.Abstract.
MoL-2006-06:
Jill Cirasella Classical and Quantum Algorithms for Finding Cycles.
1.Full Text, 2.Abstract.
MoL-2006-05:
Yanjing Wang Indexed Semantics and Its Application in Modelling Interactive Unawareness.
1.Full Text, 2.Abstract.
MoL-2006-04:
Clive Nettey Link-Based Methods for Web Information Retrieval.
1.Full Text, 2.Abstract.
MoL-2006-03:
Ioanna Dimitriou Strong limits and Inaccessibility with non-wellorderable powersets.
1.Full Text, 2.Abstract.
MoL-2006-02:
Dirk Buschbom Understanding As A Teleonomical Concept: Fundamentals of the Hermeneutical game.
1.Full Text, 2.Abstract.
MoL-2006-01:
Edgar Andrade Meaning and Form in Event Calculus.
1.Full Text, 2.Abstract.
MoL-2005-09:
Scott Grimm The Lattice of Case and Agentivity.
1.Full Text, 2.Abstract.
MoL-2005-08:
Gustavo Lacerda da Melo Automating Normal Science: Reusing Exemplars in Quantitative Explanations.
1.Abstract.
MoL-2005-07:
Samson Tikitu de Jager Analysing the complexity of games on graphs.
1.Full Text, 2.Abstract, 3.Software.
MoL-2005-06:
Teresita Mijangos Penalty Logic and Genomic Encoding.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PDF).
MoL-2005-05:
Floris Roelofsen Exploring Logical Perspectives on Distributed Information and its Dynamics.
1.Full Text, 2.Abstract.
MoL-2005-04:
Michael Franke Pseudo-Imperatives.
1.Full Text, 2.Abstract.
MoL-2005-03:
Evangelos Tzanis Algebraizing Hybrid Logic.
1.Full Text, 2.Abstract.
MoL-2005-02:
Boaz Leskes The Value of Agreement: a new Boosting Algorithm.
1.Full Text, 2.Abstract.
MoL-2005-01:
Reut Tsarfaty `binyanim ba'avir': An investigation of Aspect Semantics in Modern Hebrew.
1.Full Text, 2.Abstract.
MoL-2004-09:
Spencer Gerhardt A Construction Method for Modal Logics of Space.
1.Full Text, 2.Abstract.
MoL-2004-08:
Ji Ruan Exploring the Update Universe.
1.Full Text, 2.Abstract.
MoL-2004-07:
Piotr Labenz Event-calculus semantics of Polish aspect.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2004-06:
Thuy Linh Nguyen Rank Consistent Estimation: The DOP Case.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2004-05:
Fenrong Liu Dynamic Variations: Update and Revision for Diverse Agents.
1.Full Text, 2.Abstract.
MoL-2004-04:
Be Birchall Duality for Distributive Modal Algebras.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2004-03:
Giosuè Baggio Two ERP studies on Dutch temporal semantics.
1.Full Text, 2.Abstract.
MoL-2004-02:
Andreas Zollmann A Consistent and Efficient Estimator for the Data-Oriented Parsing Model.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2004-01:
Katrin Schulz A Case Study on the Paradox of Free Choice Permission.
1.Full Text, 2.Abstract.
MoL-2003-07:
Loredana Afanasiev XML Query Evaluation via CTL Model Checking.
1.Full Text, 2.Abstract.
MoL-2003-06:
Oren Tsur Definitional Question Answering Using Trainable Classifiers.
1.Full Text (PDF), 2.Full Text (DOC), 3.Abstract.
MoL-2003-05:
Tanja Hötte A Model for Epistemic Games.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2003-04:
Gilad Mishne Source Code Retrieval using Conceptual Graphs.
1.Full Text, 2.Abstract.
MoL-2003-03:
Guillaume Aucher A Combined System for Update Logic and Belief Revision.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2003-02:
Fadillah Tala A Study of Stemming Effects on Information Retrieval in Bahasa Indonesia.
1.Full Text, 2.Abstract.
MoL-2003-01:
Chunlai Zhou Some Intuitionistic Provability and Preservativity Logics (and their interrelations).
1.Full Text, 2.Abstract.
MoL-2002-10:
Fabrice Nauze Scenarios for the Passé Simple and Imparfait: An Event Calculus Approach to French Semantics.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2002-09:
Rajvinder Singh A Study of Optimality Theory and the Human Sentence Processing Mechanism.
1.Full Text, 2.Abstract.
MoL-2002-08:
Marian Counihan What do four-year-olds have in common with Frege?.
1.Full Text, 2.Abstract.
MoL-2002-07:
Luciano Buratto Back-off as Parameter Estimation for DOP models.
1.Full Text, 2.Abstract.
MoL-2002-06:
Börkur Sigurbjörnsson Structural Properties of Questionnaires.
1.Full Text, 2.Abstract.
MoL-2002-05:
Bernadette Martínez Hernández Automated Reasoning with Boolean ABoxes.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2002-04:
Mathieu Vidal Classifying Conditionals.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2002-03:
Willem Conradie The Beth Property for Three Extensions of Modal Logic.
1.Full Text.
MoL-2002-02:
John Duda Context and Mythology.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2002-01:
Seth Cable Stand Over There, Please: The Dynamics of Vagueness, the Origins of Vagueness, and How Pie-Cutting Relates to Ancient Heaps of Sand.
1.Full Text, 2.Abstract.
MoL-2001-15:
Mehmet Giritli From 3-SAT to {2+p},{3}-SAT.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-14:
Andreas P. Giannakoulopoulos Frog Leaps and Human Noises: An Optimality Theory Approach to Cultural Change.
1.Full Text, 2.Abstract.
MoL-2001-13:
Troy Lee Is Multiplication Harder than Addition? Arithmetical Definability over Finite Structures.
1.Full Text, 2.Abstract.
MoL-2001-12:
Darrin Hindsill On the Turning Verbs into Nouns.
1.Full Text (DOC), 2.Full Text (PS), 3.Full Text (PDF), 4.Abstract.
MoL-2001-11:
David Gabelaia Modal definability in topology.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-10:
Marcello Vavassori Isn't my question a real question? A Pragmatic Approach to Polar Questions.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-09:
Nick Arevadze Finite Projective Formulas.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-08:
Alexander Bergo Text Categorization and Prototypes.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2001-07:
Ben Rodenhäuser Updating Epistemic Uncertainty: an essay in the logic of information change.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-06:
Jon Ragetli Towards Concept-based Structuring of Electronic Information.
1.Full Text, 2.Abstract.
MoL-2001-05:
Rasa Leijting - Paulékaité Intentional Identity and the Edelberg Asymmetry.
1.Full Text, 2.Abstract, 3.Front.
MoL-2001-04:
Jason Mattausch On Optimization in Discourse Generation.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2001-03:
Marie Nilsenová Uncertainty in the Common Ground.
1.Full Text, 2.Abstract.
MoL-2001-02:
Iouri Netchitailov An Extension of Game Logic with Parallel Operators.
1.Full Text (PS), 2.Full Text (DOC), 3.Full Text (PDF), 4.Abstract.
MoL-2001-01:
Levan Khavtasi Extending Focus Theories: Particles in Focus.
1.Full Text (PS), 2.Full Text (PDF), 3.Full Text (DOC), 4.Abstract.
MoL-2000-06:
Shai Berger Studies on the Uses and Usefulness of Diagrams.
1.Full Text, 2.Abstract.
MoL-2000-05:
Patrick Yancey Indeterminacy and Translatability.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract, 4.Word.
MoL-2000-04:
Catarina Dutilh Novaes A Study of William of Ockham's Logic - from Suppositio to Truth Conditions.
1.Full Text, 2.Abstract.
MoL-2000-03:
Sjaak Verbeek An Information Theoretic Approach to Finding Word Groups for Text Classification.
1.Full Text, 2.Abstract.
MoL-2000-02:
Mariana Haim Duality for Lattices with Operators: A Modal Logic Approach.
1.Full Text, 2.Abstract.
MoL-2000-01:
Sophia Velissaratou Conditional Questions and Which-Interrogatives.
1.Full Text, 2.Abstract.
MoL-1999-04:
Walter Dean Three Recursion Theoretic Concepts of Genericity.
1.Full Text, 2.Abstract.
MoL-1999-03:
Rafael Accorsi Exploring the Behaviour of Feature Interaction via Stable Models.
1.Full Text.
MoL-1999-02:
Clemens Grabmayer Cut-Elimination in the Implicative Fragment $->G3mi$ of an Intuitionistic $G3$-Gentzen-System and its Computational Meaning.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PS).
MoL-1999-01:
Alessandra Palmigiano Normal Gentzen Deductions in the Classical Case.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-1998-03:
Eyal Hurvitz Towards a Uniform Strategy of Plural Quantification? Iterative Cumulativity and the Witness Condition.
1.Full Text, 2.Abstract.
MoL-1998-02:
Paulo E. Santos Formalising the Common Sense of a Mobile Robot.
1.Full Text, 2.Abstract.
MoL-1998-01:
Rosella Gennari Temporal Reasoning and Constraint Programming.
1.Full Text, 2.Abstract.
MoL-1997-03:
Marc Pauly Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming.
1.Full Text, 2.Abstract.
MoL-1997-02:
Brian Semmes The Raisonnier-Shelah Construction of a Non-Measurable Set.
1.Full Text, 2.Abstract.
MoL-1997-01:
Dimitris Dimitriadis Identity and Identification.
1.Full Text, 2.Abstract.