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

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 (PDF), 3.Abstract (TXT).

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 (TXT), 3.Abstract (RTF).

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 (PS), 2.Full Text (PDF), 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 (PDF), 2.Full Text (PS), 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 (DOC), 2.Full Text (PDF), 3.Abstract.

MoL-2003-05:

Tanja Hötte A Model for Epistemic Games.
1.Full Text (PS), 2.Full Text (PDF), 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 (PDF), 2.Full Text (PS), 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 (PDF), 2.Full Text (PS), 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 (PS), 2.Full Text (DOC), 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 (PDF), 2.Full Text (PS), 3.Abstract.

MoL-2001-09:

Nick Arevadze Finite Projective Formulas.
1.Full Text (PDF), 2.Full Text (PS), 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 (PDF), 2.Full Text (PS), 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 (PS), 2.Full Text (PDF), 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 (PDF), 2.Full Text (DOC), 3.Full Text (PS), 4.Abstract.

MoL-2001-01:

Levan Khavtasi Extending Focus Theories: Particles in Focus.
1.Full Text (DOC), 2.Full Text (PDF), 3.Full Text (PS), 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 (PS), 3.Abstract (TXT).

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.