Universiteit van Amsterdam

Master of Logic (MoL) Series

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