Universiteit van Amsterdam

Theses

Master of Logic / ILLC


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.

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
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
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
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
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-2017-01:
Nina Dongen Analysis and Prediction of Dutch-English Code-switching in Dutch Social Media Messages
MoL-2017-02:
Pablo Sierra Márquez A formalization of Spinoza's Ethics, Part 1: Consequences for interpretation
MoL-2017-03:
Tim Coopmans Robust self-testing of (almost) all pure two-qubit states
MoL-2017-04:
Simone Griffioen Covertly Controlling Choices: Manipulating Decision Making Under Partial Knowledge
MoL-2017-05:
Zoi Terzopoulou Manipulating the Manipulators: Richer Models of Strategic Behavior in Judgment Aggregation
MoL-2017-06:
Merlijn Koek Extensions Of The Garden-hose Model
MoL-2017-07:
Levin Hornischer Hyperintensionality and Synonymy
MoL-2017-08:
Aafke de Vos The Logic of Divinatory Reasoning
MoL-2017-09:
Natalia Talmina Quantifiers and verification strategies: connecting the dots (literally)
MoL-2017-10:
Andrzej Bułeczka Medieval vs Contemporary Metaphysics of Intentionality and Logic
MoL-2017-11:
Lisa Benossi Pretending to work: a closed world reasoning formalisation of pretend play
MoL-2017-12:
Anthia Solaki Steps out of Logical Omniscience
MoL-2017-13:
Stella Moon Isaacson's thesis and Wilkie's theorem
MoL-2017-14:
Laura Biziou-Van Pol Quantum Dialogues
MoL-2017-15:
Jana Wagemaker Gossip in NetKAT
MoL-2017-16:
Laura Aina Not logical: A distributional semantic account of negated adjectives
MoL-2017-17:
Jakob Piribauer The Modal Logic of Generic Multiverses
MoL-2017-18:
Bonan Zhao Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game
MoL-2017-19:
Bas Cornelissen Bayesian Language Games: Unifying and evaluating agent-based models of horizontal and vertical language evolution
MoL-2017-20:
Ottilia Kasbergen Abstractions and Idealisations in Epistemic Logic
MoL-2017-21:
Alison Pasquariello Mohawk Temporality: Embodiment, Ritual, and Cognition
MoL-2017-22:
Shuai Wang Turing Learning with Nash Memory
MoL-2017-23:
Guido van der Knaap The Philosophical Motivation for Proof-Theoretic Harmony
MoL-2017-24:
Zeno de Hoop Context-Free Processes and Push-Down Processes
MoL-2017-25:
Jonathan Frederik Sippel The Good, the Bad, and the Difficult
Complexity in a Monotonicity-Grounded Natural Logic for Reasoning with Generalized Quantifiers
MoL-2017-26:
Rana Klein The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic
MoL-2017-27:
Mees de Vries An Extensional Modified Realizability Topos
MoL-2017-28:
Michael Repplinger Understanding Generalization: Learning Quantifiers and Negation with Neural Tensor Networks
MoL-2017-29:
Esteban Landerreche Leaning on Impossible-to-Parallelise Work for Immutability Guarantees in the Blockchain
MoL-2017-30:
Marco Bacchin The perception of number: towards a topological approach
MoL-2017-31:
Albert Janzen The paradoxes of self-negation
MoL-2018-01:
Line van den Berg Unreliable Gossip
MoL-2018-02:
Laura S. Molenaar Quine and Loglan: the Influence of Philosophical Ideas on the Creation of a Logical Language
MoL-2018-03:
Robert Paßmann Loyalty and Faithfulness of Model Constructions for Constructive Set Theory
MoL-2018-04:
Jeroen van Wier Quantum Plaintext Non-Malleability
MoL-2018-05:
Matteo Nizzardo Leibniz's Principle and the Problem of Nonindividuality
MoL-2018-06:
Heidi Metzler Algorithmic Complexity in Textile Patterns
MoL-2018-07:
Grzegorz Lisowski Preventing Manipulation in Aggregating Value-Based Argumentation Frameworks
MoL-2018-08:
Noor Heerkens Studies in Minimal Mathematics
MoL-2018-09:
Raja Oktovin Parhasian Damanik Optimality in Stabilizer Testing
MoL-2018-10:
Jelle Wijnand Don Post-quantum Security of Fiat-Shamir Signatures
MoL-2018-11:
Silvan Hungerbühler A Computational Method for Philosophical Interpretation
MoL-2018-12:
Stefania Ionescu Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations
MoL-2018-13:
Mathijs S. Mul Recognizing Logical Entailment: Reasoning with Recursive and Recurrent Neural Networks
MoL-2018-14:
Ethan S. Lewis Computation with Infinite Programs
MoL-2018-15:
Jonathan Pesetsky Factual Conditionals and Hypothetical Commitments
MoL-2018-16:
Julia Joanna Turska Conceptual Relativism and Linguistic Anthropology: How to comprehend the incomprehensible?
MoL-2018-17:
Max Rapp Hybrid Logics for Arguments, Beliefs, and their Dynamics
MoL-2018-18:
Jorge Viterbo Ferreira The Problem of Counterpossibles
MoL-2018-19:
Hana Möller Kalpak Inquisitive Logical Triviality and Grammar
MoL-2018-20:
Haukur Páll Jónsson Real Logic and Logic Tensor Networks
MoL-2018-21:
Marvin Schmitt CRISP: a semantics for focus-sensitive particles in questions
MoL-2018-22:
Mrinalini Luthra How do we Develop Ethically Aware AI?
MoL-2018-23:
Marlou M. Gijzen A Constructive Approach Towards Formalizing Relativization Using Combinatory Logic
MoL-2018-24:
Lucy van Oostveen What You Know About People’s Preferences Matters:
Investigating simpler notions of partial information in the context of strategic manipulation in voting
MoL-2018-25:
Leon Commandeur Logical Functionalism
MoL-2018-26:
Max van den Broek You Don't Believe This Is The Title
Moore's Paradox and its relation to the Surprise Exam Paradox, the Knowability Paradox, the Toxin Problem and Newcomb’s Problem
MoL-2018-27:
Saúl Fernández González Generic Models for Topological Evidence Logics
MoL-2018-28:
Dean McHugh Counterfactuals and the Logic of Imaginative Content
MoL-2018-29:
Jana Haenen A Gödel-style translation from positive calculus into strict implication logic
MoL-2018-30:
Morwenna Hoeks Coordinating Questions
MoL-2018-31:
Krzysztof Mierzewski Probabilistic Stability: dynamics, nonmonotonic logics, and stable revision
MoL-2018-32:
Gian Carlo Milanese An exploration of closure ordinals in the modal μ-calculus
MoL-2018-33:
Krsto Proroković Learning to Decide a Formal Language: A Recurrent Neural Network Approach
MoL-2018-34:
Jan Rooduijn A right semimodel structure on semisimplicial sets
MoL-2018-35:
Yujie Xing Examining Personality Differences in Chit-Chat Sequence to Sequence Conversational Agents
MoL-2018-36:
Tao Gu Majorizability Types, Assemblies, and the Fan Theorem
MoL-2019-01:
Kyah Elisabeth Mercedes Smaal Strategic manipulation in voting under higher-order reasoning
MoL-2019-02:
Daan van Stigt Neural language models with latent syntax
MoL-2019-03:
Bas van den Heuvel The Logic of Fault-Tolerance in Message-Passing Concurrency
MoL-2019-04:
Nuno Maia Tennenbaum’s Theorem and Non-Classical Arithmetic
MoL-2019-05:
Yvette Oortwijn Dynamic Set Theory
MoL-2019-06:
Anna Franchini Space and the Continuum from Kant to Poincaré
MoL-2019-07:
Nicolò Zamperlin Intensional Kleene logics for vagueness
MoL-2019-08:
Sam Adam-Day Polyhedral Completeness in Intermediate and Modal Logics
MoL-2019-09:
David Santamaría Legarda Defending Classes
MoL-2019-10:
Mina Young Pedersen Polarization and Echo Chambers: A Logical Analysis of Balance and Triadic Closure in Social Networks
MoL-2019-11:
Marco Degano Meaning through Time: A Diachronic and Semantic Study of Italian Free Choice
MoL-2019-12:
Tim Henke The van Benthem Characterisation Theorem for Descriptive Models
MoL-2019-13:
Zhuoye Zhao Varieties of Distributivity: From Mandarin Dou to Plurality, Free Choice and Scalarity
MoL-2019-14:
Tomislav Karačić The Informational View of Technologies in the Scientific Practice
MoL-2019-15:
David O’Connell Lorentzian Structures on Branching Spacetimes
MoL-2019-16:
Robin Martinot Sets and Categories: What Foundational Approaches Tell Us About Mathematical Thought
MoL-2019-17:
Michael Vollmer On Logical Nihilism
MoL-2019-18:
Matteo Ferrari Questioning Philosophy
MoL-2019-19:
Wouter Posdijk The influence of the simplicity/informativeness trade-off on the sematic typology of quantifiers
MoL-2019-20:
Gaia Belardinelli Gatekeepers in Social Networks: Logics for Communicative Actions
MoL-2019-21:
Ho-Yin Lui Expressive Limitations and the Liar’s Revenge: A Strict-Tolerant Solution and A Pragmatic Solution For Dialetheism
MoL-2019-22:
Jacqueline 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
MoL-2019-26:
Dimitrios Koutsoulis Lifschitz Realizability for Homotopy Type Theory
MoL-2019-27:
John Hunter McKnight Quantum Shell Games: How to Classically Delegate the Preparation of Authenticated Quantum States
MoL-2020-01:
Federico Schiaffino Memory, Time and Language:
A Mental Time Travel Model in a Narrative Discourse
MoL-2020-02:
Cornets de Groot Sven Hugo Logical systems with left-sequential versions of NAND and XOR
MoL-2020-03:
Rachel Maden The nature of referential intentions
MoL-2020-04:
Thijs Benjamins Locally finite varieties of Heyting algebras of width 2
MoL-2020-05:
Teodor Tiberiu Călinoiu What Structural Objects Could Be: Mathematical Structuralism and its Prospects
MoL-2020-06:
Maëlle Havelange ‘White horse not horse’: An Analysis of Modern Interpretative Approaches to Kung-sun Lung’s White Horse Discourse
MoL-2020-07:
Angelica M. Hill The Only Thesis
MoL-2020-08:
Tex Aston Felix Schönlank Syntactic logical relations for System F with recursive types and call-by-name semantics
MoL-2020-09:
Leo Lobski Quantum quirks, classical contexts: Towards a Bohrification of effect algebras
MoL-2020-10:
Boas Kluiving Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods
MoL-2020-11:
Eric Flaten Toward a formal representation of radical interpretation
MoL-2020-12:
Martin Karlsson Proofs and Strategies: A Characterization of Classical and Intuitionistic Logic using Games with Explicit Strategies
MoL-2020-13:
Sebastian David Melzer Canonical Formulas for the Lax Logic

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X