MoL Thesis Archive
On the ILLC site you may find a full list of ILLC research reports and dissertations. Additionally, the electronic archives may also be accessed by using the Search Form of the ILLC Eprints server.
For privacy reasons 60 MoL theses have been made unavailable during the accreditation process of the Master of Logic. This inconvenience will last until the accreditation report is finalized, hopefully before the end of March.
- MoL-1997-01:
- Dimitris Dimitriadis Identity and Identification
- MoL-1997-02:
- Brian Semmes The Raisonnier-Shelah Construction of a Non-Measurable Set
- MoL-1997-03:
- Marc Pauly Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming
- MoL-1998-01:
- Rosella Gennari Temporal Reasoning and Constraint Programming
- MoL-1998-02:
- Paulo E. Santos Formalising the Common Sense of a Mobile Robot
- MoL-1998-03:
- Eyal Hurvitz Towards a Uniform Strategy of Plural Quantification? Iterative Cumulativity and the Witness Condition
- MoL-1999-01:
- Alessandra Palmigiano Normal Gentzen Deductions in the Classical Case
- MoL-1999-02:
- Clemens Grabmayer Cut-Elimination in the Implicative Fragment $->G3mi$ of an Intuitionistic $G3$-Gentzen-System and its Computational Meaning
- MoL-1999-03:
-
Rafael Accorsi
Exploring the Behaviour of Feature Interaction via Stable Models
1.Full Text.
- MoL-1999-04:
- Walter Dean Three Recursion Theoretic Concepts of Genericity
- MoL-2000-01:
- Sophia Velissaratou Conditional Questions and Which-Interrogatives
- MoL-2000-02:
- Mariana Haim Duality for Lattices with Operators: A Modal Logic Approach
- MoL-2000-03:
- Sjaak Verbeek An Information Theoretic Approach to Finding Word Groups for Text Classification
- MoL-2000-04:
- Catarina Dutilh Novaes A Study of William of Ockham's Logic - from Suppositio to Truth Conditions
- MoL-2000-05:
- Patrick Yancey Indeterminacy and Translatability
- MoL-2000-06:
- Shai Berger Studies on the Uses and Usefulness of Diagrams
- MoL-2001-01:
- Levan Khavtasi Extending Focus Theories: Particles in Focus
- MoL-2001-02:
- Iouri Netchitailov An Extension of Game Logic with Parallel Operators
- MoL-2001-03:
- Marie Nilsenová Uncertainty in the Common Ground
- MoL-2001-04:
- Jason Mattausch On Optimization in Discourse Generation
- MoL-2001-05:
- Rasa Leijting - Paulékaité Intentional Identity and the Edelberg Asymmetry
- MoL-2001-06:
- Jon Ragetli Towards Concept-based Structuring of Electronic Information
- MoL-2001-07:
- Ben Rodenhäuser Updating Epistemic Uncertainty: an essay in the logic of information change
- MoL-2001-08:
- Alexander Bergo Text Categorization and Prototypes
- MoL-2001-09:
- Nick Arevadze Finite Projective Formulas
- MoL-2001-10:
- Marcello Vavassori Isn't my question a real question? A Pragmatic Approach to Polar Questions
- MoL-2001-11:
- David Gabelaia Modal definability in topology
- MoL-2001-12:
- Darrin Hindsill On the Turning Verbs into Nouns
- MoL-2001-13:
- Troy Lee Is Multiplication Harder than Addition? Arithmetical Definability over Finite Structures
- MoL-2001-14:
- Andreas P. Giannakoulopoulos Frog Leaps and Human Noises: An Optimality Theory Approach to Cultural Change
- MoL-2001-15:
- Mehmet Giritli From 3-SAT to \{2+p\},\{3\}-SAT
- 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
- MoL-2002-02:
- John Duda Context and Mythology
- MoL-2002-03:
-
Willem Conradie
The Beth Property for Three Extensions of Modal Logic
1.Full Text.
- MoL-2002-04:
- Mathieu Vidal Classifying Conditionals
- MoL-2002-05:
- Bernadette Martínez Hernández Automated Reasoning with Boolean ABoxes
- MoL-2002-06:
- Börkur Sigurbjörnsson Structural Properties of Questionnaires
- MoL-2002-07:
- Luciano Buratto Back-off as Parameter Estimation for DOP models
- MoL-2002-08:
- Marian Counihan What do four-year-olds have in common with Frege?
- MoL-2002-09:
- Rajvinder Singh A Study of Optimality Theory and the Human Sentence Processing Mechanism
- MoL-2002-10:
- Fabrice Nauze Scenarios for the Pass\'e Simple and Imparfait: An Event Calculus Approach to French Semantics
- MoL-2003-01:
- Chunlai Zhou Some Intuitionistic Provability and Preservativity Logics (and their interrelations)
- MoL-2003-02:
- Fadillah Tala A Study of Stemming Effects on Information Retrieval in Bahasa Indonesia
- MoL-2003-03:
- Guillaume Aucher A Combined System for Update Logic and Belief Revision
- MoL-2003-04:
- Gilad Mishne Source Code Retrieval using Conceptual Graphs
- MoL-2003-05:
- Tanja Hötte A Model for Epistemic Games
- MoL-2003-06:
- Oren Tsur Definitional Question Answering Using Trainable Classifiers
- MoL-2003-07:
- Loredana Afanasiev XML Query Evaluation via CTL Model Checking
- MoL-2004-01:
- Katrin Schulz A Case Study on the Paradox of Free Choice Permission
- MoL-2004-02:
- Andreas Zollmann A Consistent and Efficient Estimator for the Data-Oriented Parsing Model
- MoL-2004-03:
- Giosuè Baggio Two ERP studies on Dutch temporal semantics
- MoL-2004-04:
- Be Birchall Duality for Distributive Modal Algebras
- MoL-2004-05:
- Fenrong Liu Dynamic Variations: Update and Revision for Diverse Agents
- MoL-2004-06:
- Thuy Linh Nguyen Rank Consistent Estimation: The DOP Case
- MoL-2004-07:
- Piotr Labenz Event-calculus semantics of Polish aspect
- MoL-2004-08:
- Ji Ruan Exploring the Update Universe
- MoL-2004-09:
- Spencer Gerhardt A Construction Method for Modal Logics of Space
- MoL-2005-01:
- Reut Tsarfaty `binyanim ba'avir': An investigation of Aspect Semantics in Modern Hebrew
- MoL-2005-02:
- Boaz Leskes The Value of Agreement: a new Boosting Algorithm
- MoL-2005-03:
- Evangelos Tzanis Algebraizing Hybrid Logic
- MoL-2005-04:
- Michael Franke Pseudo-Imperatives
- MoL-2005-05:
- Floris Roelofsen Exploring Logical Perspectives on Distributed Information and its Dynamics
- MoL-2005-06:
- Teresita Mijangos Penalty Logic and Genomic Encoding
- MoL-2005-07:
- Samson Tikitu de Jager Analysing the complexity of games on graphs
- MoL-2005-08:
-
Gustavo Lacerda da Melo
Automating Normal Science: Reusing Exemplars in Quantitative Explanations
1.Abstract.
- MoL-2005-09:
- Scott Grimm The Lattice of Case and Agentivity
- MoL-2006-01:
- Edgar Andrade Meaning and Form in Event Calculus
- MoL-2006-02:
- Dirk Buschbom Understanding As A Teleonomical Concept: Fundamentals of the Hermeneutical game
- MoL-2006-03:
- Ioanna Dimitriou Strong limits and Inaccessibility with non-wellorderable powersets
- MoL-2006-04:
- Clive Nettey Link-Based Methods for Web Information Retrieval
- MoL-2006-05:
- Yanjing Wang Indexed Semantics and Its Application in Modelling Interactive Unawareness
- MoL-2006-06:
- Jill Cirasella Classical and Quantum Algorithms for Finding Cycles
- MoL-2006-07:
- Martin Müller Accent and Focus in OT: a Cross-Linguistic Perspective
- MoL-2006-08:
- Gaëlle Fontaine Axiomatization of ML and Cheq
- MoL-2006-09:
- Jacob Vosmaer Connecting the profinite completion and the canonical extension using duality
- MoL-2007-01:
- Jonathan Zvesper A Revised Version: Belief Revision and Epistemic Acts
- MoL-2007-02:
- Wouter Koolen Discovering the truth by conducting experiments
- MoL-2007-03:
- Höskuldur Hlynsson Transfer Learning Using the Minimum Description Length Principle with a Decision Tree Application
- MoL-2007-04:
- Tijmen R. Daniëls Social Choice and Logic via Simple Games
- MoL-2007-05:
- Can Baskent Topics in Subset Space Logic
- MoL-2007-06:
- Gerben de Vries Formalizing Implicatures Using Extended Logic Programming
- MoL-2007-07:
- Marcello Di Bello Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law
- MoL-2007-08:
- Ori Garin A computational model of reference
- MoL-2007-09:
- Harald Bastiaanse Clarity in Non-Monotonic Logic
- MoL-2007-10:
- David Chabot Individual-level Predicates and When-Conditionals
- MoL-2007-11:
- Yurii Khomskii Regularity Properties and Determinacy
- MoL-2007-12:
- Sandeep Murthy Group-theoretic Methods for Bounding the Exponent of Matrix Multiplication
- MoL-2007-13:
- Ansten Mørch Klev Extending Kleene's O Using Infinite Time Turing Machines
- MoL-2007-14:
- Joost Winter Space Complexity in Infinite Time Turing Machines
- MoL-2007-15:
- Christian Kissig Decidability of S2S
- MoL-2007-16:
- Jesse Aron Harris Revealing Concealment: A (Neuro-)Logical Investigation of Concealed Questions
- MoL-2007-17:
- Brammert Ottens Comparing Winner Determination Algorithms for Mixed Multi-Unit Combinatorial Auctions
- MoL-2007-18:
- Lena Kurzen Logics for Cooperation, Actions and Preferences
- MoL-2007-19:
- Raul Andres Leal Rodriguez Expressivity of Coalgebraic Modal Languages
- MoL-2007-20:
- Gustaaf Haan How illiterates interpret syllogistic problems
- MoL-2007-21:
- Theodora Achourioti Logic, Normativity, and the A Priori
- MoL-2007-22:
- Petter Remen Automata on flows
- MoL-2007-23:
- Federico Sangati Towards simpler tree substitution grammars
- MoL-2008-01:
- Caroline Foster The Problem of the Perfect Agent: Investigations into Determinism
- MoL-2008-02:
- Silvia Gaio Gradability without Degrees
- MoL-2008-03:
- Szymon Klarman ABox Abduction in Description Logic
- MoL-2008-04:
- Martijn Pennings A Konolige bridge between default logic and autoepistemic logic
- MoL-2008-05:
- Luite Menno Pieter van Zelst Modeling Computer Viruses
- MoL-2008-06:
- Thomas Icard Models of the Polymodal Provability Logic
- MoL-2008-07:
- Loes Olde Loohuis Multi-Player Logics
- MoL-2008-08:
- Pietro Galliani Game values and equilibria for undetermined sentences of Dependence Logic
- MoL-2008-09:
- Sara Ramezani Khorshid Doost Nash Social Welfare in Multiagent Resource Allocation
- MoL-2008-10:
- Dewi S. Harten How to solve the conjunction fallacy? A discussion of alternative approaches
- MoL-2008-11:
- Rachel Sterken Concatenation as a basis for Q and the Intuitionistic variant of Nelson's Classic Result
- MoL-2008-12:
- Fan Yang Intuitionistic Subframe Formulas, NNIL-Formulas and n-universal Models
- MoL-2009-01:
- María Inés Crespo Normativity and interaction: from ethics to semantics
- MoL-2009-02:
- Nicole R. Hausen Wittgenstein's Investigations and Damasio's Explanations: A Comparative Study of Emotion
- MoL-2009-03:
- Daniele Chiffi Analysis of Knowledge, Assertion, Verification
- MoL-2009-04:
- Daan Dirk de Jonge Autistic Number Learning: What Autism Can Tell Us About the Acquisition of Number Concepts
- 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
- MoL-2009-06:
- Pablo Cubides Kovacsics Decomposition Theorem for Abstract Elementary Classes
- MoL-2009-07:
- Chris Brumwell A Dynamic Analysis of Epistemic Possibility
- MoL-2009-08:
- Wouter Beek Truth-Theoretic Contextualism: Dissolving the Minimalism/Contextualism Debate
- MoL-2009-09:
- Simon Pauw A BiOT Account of Gricean Reasoning
- MoL-2009-10:
- Maria Spychalska Scalar Implicatures and Existential Import: Experimental Study on Quantifiers in Natural Language
- MoL-2009-11:
- Ivano A. Ciardelli Inquisitive Semantics and Intermediate Logics
- MoL-2009-12:
- Karel Van Oudheusden The Advent of Recursion \& Logic in Computer Science
- MoL-2009-13:
- Olga Grigoriadou A Momentary Lapse Of Reason
- MoL-2009-14:
- Lisa Maree Fulford A study of Canonicity for Bi-Implicative Algebras
- MoL-2009-15:
- Floor Sietsma A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems
- MoL-2009-16:
- Samuel Jacob van Gool Methods for Canonicity
- MoL-2009-17:
- Maarten Versteegh iDOP: Iterated Data-Oriented Parsing as a Model for Diachronic Syntax
- MoL-2009-18:
- Salvador Mascarenhas Inquisitive Semantics and Logic
- MoL-2010-01:
- Frank Nebel Shortest Path Games: Computational Complexity of Solution Concepts
- MoL-2010-02:
- Christian Geist Automated Search for Impossibility Theorems in Choice Theory: Ranking Sets of Objects
- MoL-2010-03:
- Charlotte Vlek Definability in the Degrees of Randomness
- MoL-2010-04:
- Yacin Hamami The Interrogative Model of Inquiry meets Dynamic Epistemic Logics
- MoL-2010-05:
- Nicola Di Giorgio Non-Standard Models of Arithmetic: a Philosophical and Historical perspective
- MoL-2010-06:
- Stephan Schroevers Expressiveness and Extensions of an Instruction Sequence Semigroup
- MoL-2010-07:
- Mark Beumer Apportionment in Theory and Practice
- MoL-2010-08:
- David Fiske Toward an Evolutionary Linguistic Theory
- MoL-2010-09:
- Kian Mintz-Woo Independence Weakening in Judgment Aggregation
- MoL-2010-10:
- Ernst Odolphi Temporal Binding by Short-Term Synaptic Plasticity
- MoL-2010-11:
- Margaux Smets A U-DOP approach to modeling language acquisition
- MoL-2010-12:
- Jonathan Shaheen Relevance-Based Partition Semantics for Why-Questions
- MoL-2010-13:
- Hanne Kristin Berg Philosophy of time: Combining the A-series and the B-series
- MoL-2010-14:
- Lorenz Demey Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic
- MoL-2010-15:
- Matthew P. Wampler-Doty Evidentialist Logic
- MoL-2010-16:
- Hélène Tourigny Exploiting Systematicity: a Connectionist Model of Bootstrapping in Language Acquisition
- MoL-2010-17:
- Bert Christiaan Regenboog Reactive Valuations
- MoL-2010-18:
- Alexandru Marcoci The Surprise Examination Paradox in Dynamic Epistemic Logic
- MoL-2010-19:
- Remi Turk A modern back-end for a dependently typed language
- MoL-2010-20:
- Antonio Negro Quine's challenge and Logical Pluralism
- MoL-2011-01:
- Tom Florian Sterkenburg Sequences with Trivial Initial Segment Complexity
- MoL-2011-02:
- Peter Fritz Matrices and Modalities: On the Logic of Two-Dimensional Semantics
- MoL-2011-03:
- Lars Wortel Side Effects in Steering Fragments
- MoL-2011-04:
- Douwe Kiela Variable Binding in Biologically Plausible Neural Networks
- MoL-2011-05:
- Sophie Arnoult Smoothing a PBSMT Model by Factoring Out Adjuncts
- MoL-2011-06:
- Noortje Joost Venhuizen Negation in Questions
- MoL-2011-07:
- Navid Talebanfard Tightening the Compression Hierarchies
- MoL-2011-08:
- Ilan Frank Information and Representation in Computational Social Choice
- MoL-2011-09:
- Irma Cornelisse Context Dependence of Epistemic Operators in Dynamic Evidence Logic
- MoL-2011-10:
- Cian Chartier Tarski's Threat to the T-Schema
- MoL-2011-11:
- Kasper Højbjerg Christensen Counterfactual Dependencies
- MoL-2011-12:
- Spencer C. Johnston Buridan's Theory of Logical Consequence
- MoL-2011-13:
- Willem M. Baartse Finding the phase transition for Friedman's long finite sequences
- MoL-2011-14:
- Zhenhao Li Degrees of Non-Determinacy and Game Logics on Cardinals under the Axiom of Determinacy
- MoL-2011-15:
- Johannes Marti Relation Liftings in Coalgebraic Modal Logic
- MoL-2011-16:
- Gabriela Asli Rino Nesin Completing partial algebra models of term rewriting systems
- MoL-2011-17:
- Rogier Jacobsz The Cylindric Algebras of 4-Valued Logic
- MoL-2011-18:
- Andreas van Cranenburgh Discontinuous Data-Oriented Parsing through Mild Context-Sensitivity
- MoL-2011-19:
- Annemieke Reijngoud Voter Response to Iterated Poll Information
- MoL-2011-20:
- Floor Rombout "|": Frege, Russell and Wittgenstein on the Judgment Stroke
- MoL-2011-21:
- Bruno Jacinto Consequence in Context: Two-Dimensional Semantics meets Logical Consequence
- MoL-2012-01:
- Viktoriia Denisova Ontological Commitment of Natural Language Semantics
- MoL-2012-02:
- Sylvia Boicheva Mechanism Design without Money
- MoL-2012-03:
-
Thomas Peetz
On Context-Free Grammar Induction by Incremental Compression
1.Abstract.
- MoL-2012-04:
- Daan Staudt Completeness for Two Left-Sequential Logics
- MoL-2012-05:
- Pawel Lojko Inquisitive Semantics and the Paradoxes of Material Implication
- MoL-2012-06:
- Alwin Blok Interaction, observation and denotation: A study of dialgebras for program semantics
- MoL-2012-07:
- Fenner Tanswell Proof and Prejudice: Why Formalising doesn't make you a Formalist
- MoL-2012-08:
- Fabio Zanasi Expressiveness of Monadic Second Order Logics on Infinite Trees of Arbitrary Branching Degree
- MoL-2012-09:
- Antonio Florio Science in Axiomatic Perspective
- MoL-2012-10:
- Paula Henk Supremum in the Lattice of Interpretability
- MoL-2012-11:
- Tong Wang An Ehrenfeucht-Fraisse Game for the Logic L-omega1-omega
- MoL-2012-12:
- Haitao Cai Causation and the Semantics of Counterfactuals
- MoL-2012-13:
- Riccardo Pinosio Kant's Transcendental Synthesis of the Imagination and Constructive Euclidean Geometry
- MoL-2012-14:
- Vahid M. Hashemi Extracting Trends from Incomplete Ordinal Preferences
- MoL-2012-15:
- Kyndylan Nienhuis Automatic Verication of Programs with Indirection
- MoL-2012-16:
- Aleks Knoks Abnormality Counts!
- MoL-2012-17:
- Nal Emmerich Kalchbrenner Walking the Graph of Language: On a Framework for Meaning and Analogy
- MoL-2012-18:
- Stefanie Kooistra Logic in Classical and Evolutionary Games
- MoL-2012-19:
- Yves Fomatati Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus
- MoL-2012-20:
- Marta Sznajder Dynamic Semantics for Intensional Transitive Verbs - a Case Study
- MoL-2012-21:
- Aadil Hanif Kurji An Update Semantics for Promises and Other Obligation-Creating Speech Acts: A Promising Start
- MoL-2012-22:
- Ekaterina Garmash Refining translation grammars through paraphrase clustering
- MoL-2012-23:
- Peter van Ormondt Finite narrative modelling, contextual dynamic semantics and Elusive Knowledge
- MoL-2013-01:
- Maria Velema Classical Encryption and Authentication under Quantum Attacks
- MoL-2013-02:
- Radek Ocelák Carving up the rainbow: how to model linguistic categorization of color
- MoL-2013-03:
- Gianluca Paolini Dependence Logic in Algebra and Model Theory
- MoL-2013-04:
- Georgios Sarailidis On the Power of Evolution
- MoL-2013-05:
- Giovanni Cinà On the connection between the categorical and the modal logic approaches to Quantum Mechanics
- MoL-2013-06:
- Elbert J. Booij Kinds, Composition and the Identification Problem
- MoL-2013-07:
- Tanmay C. Inamdar On The Modal Logics of Some Set-Theoretic Constructions
- MoL-2013-08:
- Nathaniel Forde A Demand of Reason: Dependence in Logic and Probability
- MoL-2013-09:
- Femke Bekius The Iterative Minimum Cost Spanning Tree Problem
- MoL-2013-10:
- Zhiguang Zhao Algebraic Canonicity in Non-Classical Logics
- MoL-2013-11:
- José Pedro Correia The Bivalent Trap: Vagueness, Theories of Meaning and Identity
- MoL-2013-12:
- Apostolos Tzimoulis Determinacy and measurable cardinals in HOD
- MoL-2013-13:
- Aybüke Özgün Topological Models for Belief and Belief Revision
- MoL-2013-14:
- Hans Bugge Grathwohl Programming with Classical Proofs
- MoL-2013-15:
- Maurice Pico Completeness proofs via canonical models on increasingly generalized settings
- MoL-2013-16:
- Hugo de Holanda Cunha Nobrega Game characterizations of function classes and Weihrauch degrees
- MoL-2013-17:
- Ryan Nefdt Constituentless Compositionality: A Compositional Account of Dependency Grammar
- MoL-2013-18:
- Robert Carrington Learning and Knowledge in Social Networks
- MoL-2013-19:
- Alessandra Marra What should have been the case. A temporal update semantics for necessity deontic modals
- MoL-2013-20:
- Cecilia Chávez Aguilera. Non-well founded semantics for belief revision
- MoL-2013-21:
- Adam Crager The infinite in Aristotle's logical epistemology
- MoL-2013-22:
- Heleen Booy Philosophy in primary schools - Developing teachers' manuals for different age groups
- MoL-2013-23:
- Maximilian Johannes Fillinger Reconstructing the Cryptanalytic Attack behind the Flame Malware
- MoL-2013-24:
- Sylvia Pauw Synthesis, Judgment and the Categories of Quantity
- MoL-2013-25:
- Anthony Renard A Final Coalgebra Theorem in the Context of Algebraic Set Theory
- MoL-2013-26:
- Ásgeir Berg Matthíasson A Chalet on Mount Everest: Interpretations of Wittgenstein's Remarks on G\"odel
- MoL-2013-27:
- Vlasta Sikimic Towards a Proof-Theoretic Semantics for Dynamic Logics
- MoL-2013-28:
- YunQi Xue Towards Closed-World Reasoning in Games - Ultimatum Game Revisited
- MoL-2013-29:
- Dieuwke Hupkes An Empirical Account of Compositionality of Translation through Translation Data
- MoL-2014-01:
- Maria Dimarogkona The Problem of Existence in Western Philosophy: Aristotle - Thomas Aquinas
- MoL-2014-02:
- Alexander C. Block Operations on a Wadge-Type Hierarchy of Ordinal-Valued Functions
- MoL-2014-03:
- Rachel Boddy Epistemic Issues and Group Knowledge
- MoL-2014-04:
- Andreea Achimescu Games and Logics for Informational Cascades
- MoL-2014-05:
- Sebastian Speitel Limning the True and Ultimate Structure of Reality
- MoL-2014-06:
- Ciyang Qing Quantiative Social-Cognitive Experimental Pragmatics
- MoL-2014-07:
- Nadine Theiler A Multitude of Answers: Embedded Questions in Typed Inquisitive Semantics
- MoL-2014-08:
- Seyed Mohammad Yarandi Proper Names and Propositional Attitudes
- MoL-2014-09:
- Julian J. Schlöder Uptake, Clarification and Argumentation
- MoL-2014-10:
- Julia Ilin An Outline of Algebraic Set Theory with a View Towards Cohen's Model Falsifying the Continuum Hypothesis
- MoL-2014-11:
- Guus Willem Eelink Davidson on belief, truth, and the sceptic
- MoL-2014-12:
- Simon Docherty A Model Of Type Theory In Cubical Sets With Connections
- MoL-2014-13:
- Michele Herbstritt Why can't we be surprised whether it rains in Amsterdam? A semantics for factive verbs and embedded questions
- MoL-2014-14:
- Sarah McWhirter An Automata-Theoretic Perspective on Polyadic Quantification in Natural Language
- MoL-2014-15:
- Nikhil Maddirala Philosophy of logical practice: a case study in formal semantics
- MoL-2014-16:
- Malvin Gattinger Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols
- MoL-2014-17:
- Sanne Brinkhorst On Evolution of Compositionality
- MoL-2014-18:
- Justin Kruger Actions in Social Choice
- MoL-2014-19:
- Jessica Olsen Would You Believe That? The Prerogative of Assent and Utility of Disagreement
- MoL-2014-20:
- Laura Mojica Anxiety: A Grammatical Investigation
- MoL-2014-21:
- Lara Elise van Weegen Informational cascades under variable reliability assessments: A formal and empirical investigation
- MoL-2014-22:
- Gijs Wijnholds Categorical Foundations for Extended Compositional Distributional Models of Meaning
- MoL-2014-23:
- Yuning Feng Constructing Variants of the Category of Partial Equivalence Relations
- MoL-2015-01:
- Jouke E. Witteveen Structural Parameterized Complexity
- MoL-2015-02:
- Ignas Vyšniauskas $\pi_{dist}$: Towards a Typed $\pi$-calculus for Distributed Programming Languages
- MoL-2015-03:
- Maša Močnik Slovenian Perfective and Imperfective Explicit Performative Utterances
- MoL-2015-04:
- Sanne Kosterman Learning in Games through Social Networks
- MoL-2015-05:
- Roosmarijn Goldbach Modelling Democratic Deliberation
- MoL-2015-06:
- Johannes Emerich Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch
- MoL-2015-07:
- Babette Paping A game theoretic approach to cost allocation in the Dutch electricity grid
- MoL-2015-08:
- Jonathan Mallinson Modelling Syntactic and Semantic Tasks with Linguistically Enriched Recursive Neural Networks
- MoL-2015-09:
- Tingxiang Zou Filtered Order-partial Combinatory Algebras and Classical Realizability
- MoL-2015-10:
- Bill Noble All together now... This time with meaning: A hierarchical lexicon for semantic coordination
- MoL-2015-11:
- Moritz Bäumel 'On Certainty' and Formal Epistemology
- MoL-2015-12:
- Frank Feys Fourier Analysis for Social Choice
- MoL-2015-13:
- Lorenzo Galeotti Computable Analysis Over the Generalized Baire Space
- MoL-2015-14:
- Iris van de Pol How Difficult is it to Think that you Think that I Think that...? A DEL-based Computational-level Model of Theory of Mind and its Complexity
- MoL-2015-15:
- Fangzhou Zhai Toward Probabilistic Natural Logic for Syllogistic Reasoning
- MoL-2015-16:
- Pietro Pasotti Chisholm's Paradox in Action Deontic Logics
- MoL-2015-17:
- Kees van Berkel Kant's Logic in the Critique of Practical Reason
- MoL-2015-18:
- Frederik Möllerström Lauridsen One-Step Algebras and Frames for Modal and Intuitionistic Logics
- MoL-2015-19:
- Wouter P.J. Kroese When an Algorithm Cannot Help You Find a Wife: Modeling Two-Sided Matching Markets Using Stochastic Matching
- MoL-2015-20:
- Hanna Sofie van Lee The Reliability of Scientific Communities: a Logical Analysis
- MoL-2015-21:
- Konstantinos Gkikas Stable Beliefs and Conditional Probability Spaces
- MoL-2015-22:
- Michiel den Haan The Logic of Framing: The Framing Effect as a Non-Monotonic Decision Process of Path Dependence
- MoL-2015-23:
- Eileen Wagner Superplural Logic
- MoL-2015-24:
- Md. Shahidul Islam Limits of Argumentation: A Wittgensteinian Approach
- MoL-2015-25:
- Joost Vecht Categorical Structuralism and the Foundations of Mathematics
- MoL-2015-26:
- Suzanne van Wijk Coalitions in Epistemic Planning
- MoL-2015-27:
- Ana Lucia Vargas Sandoval Learning Deductive Reasoning
- MoL-2015-28:
- Francesco Gavazzo Investigations into Linear Logic with Fixed-Point Operators
- MoL-2015-29:
- Maaike Annebeth Zwart Sheaf Models for Intuitionistic Non-Standard Arithmetic
- MoL-2015-30:
- Ko-Hung Kuan Coherence Preservation: A Threat to Probabilistic Measures of Coherence
- MoL-2015-31:
- Francesca Zaffora Blando From von Mises' Impossibility of a Gambling System to Probabilistic Martingales
- MoL-2016-01:
- Sarah Hiller Corrective Feedback in First Language Acquisition
- MoL-2016-02:
- Nikolas Nisidis A decompositional analysis of discourse relations
- MoL-2016-03:
- Stephen Pastan Another Approach to Truthmaker Semantics
- MoL-2016-04:
- Rick Bellaar Understanding Schizophrenia: A Wittgensteinian Response to Double-Bookkeeping
- MoL-2016-05:
- Yfke Dulek Quantum Homomorphic Encryption for Polynomial-Sized Circuits
- MoL-2016-06:
- Thomas Santoli Logics for Compact Hausdorff Spaces via de Vries Duality
- MoL-2016-07:
- Christopher Badura Truth in Fiction via Non-Standard Belief Revision
- MoL-2016-08:
- Sirin Botan Propositional Opinion Diffusion with Constraints
- MoL-2016-09:
- Sander in 't Veld Temporal Logics, Automata and the Modal $\mu$-Calculus
- MoL-2016-10:
- Philip W.B. Michgelsen Genetic-Algorithmic Optimisation for School-Allocation Mechanisms: A Study of Amsterdam's Student to High-School Allocation Problem
- MoL-2016-11:
- Evan Marzion Closed Sets of Higher-Order Functions
- MoL-2016-12:
- Thom van Gessel Action Models in Inquisitive Logic
- MoL-2016-13:
- Daniil Frumin Weak Factorisation Systems in the Effective Topos
- MoL-2016-14:
- Almudena Colacito Minimal and Subminimal Logic of Negation
- MoL-2016-15:
- Benjamin Sparkes Inquisitive Conditional-Doxastic Logic
- MoL-2016-16:
- Anna Bellomo Theories of size for infinite collections
- MoL-2016-17:
- Thomas Cattermole Paraconsistent Logics and Identity - a Pragmatic Approach
- MoL-2016-18:
- Eli Drumm Readtable-Macro Transducer-Chain Parsing
- MoL-2016-19:
- Arianna Novaro Judgment Aggregation in Dynamic Logic of Propositional Assignments
- MoL-2016-20:
-
Tom Schoonen
Thinking the Impossible
Arguments for Impossible Worlds in Semantics - MoL-2016-21:
- Olim F. Tuyt Canonical Rules on Neighbourhood Frames
- MoL-2016-22:
- Tom Hendriks Beyond the Regular: A Formalization of Non-Isochronous Metrical Structure
- MoL-2016-23:
- Guillaume Massas Possibility Spaces, Q-Completions and Rasiowa-Sikorski Lemmas for Non-Classical Logics
- MoL-2016-24:
- Iliana Gioulatou Hyperintensionality
- MoL-2016-25:
- Andrés Occhipinti Liberman Dynamic Evidence Logics with Relational Evidence
- MoL-2016-26:
- Kristina Gogoladze Evidence-Based Belief Revision for Non-Omniscient Agents
- MoL-2016-27:
- Leanne M. Streekstra On the stability of flexible permission structures
- MoL-2016-28:
- Nigel Sequeira Knowing How To Do Semantics
- MoL-2019-22:
- Jack Harding Incorporating Preference Information into Formal Models of Transitive Proxy Voting
- MoL-2019-23:
- Chase Ford Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees
- MoL-2019-24:
- Rachael H. Colley Guaranteeing Feasible Outcomes in Judgment Aggregation
- MoL-2019-25:
- Davide Emilio Quadrellaro Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic