Universiteit van Amsterdam

Master of Logic (MoL) Series

MoL-2018-27:
Saúl Fernández González Generic Models for Topological Evidence Logics
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-25:
Leon Commandeur Logical Functionalism
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-23:
Marlou M. Gijzen A Constructive Approach Towards Formalizing Relativization Using Combinatory Logic
MoL-2018-22:
Mrinalini Luthra How do we Develop Ethically Aware AI?
MoL-2018-21:
Marvin Schmitt CRISP: a semantics for focus-sensitive particles in questions
MoL-2018-20:
Haukur Páll Jónsson Real Logic and Logic Tensor Networks
MoL-2018-19:
Hana Möller Kalpak Inquisitive Logical Triviality and Grammar
MoL-2018-18:
Jorge Viterbo Ferreira The Problem of Counterpossibles
MoL-2018-17:
Max Rapp Hybrid Logics for Arguments, Beliefs, and their Dynamics
MoL-2018-16:
Julia Joanna Turska Conceptual Relativism and Linguistic Anthropology: How to comprehend the incomprehensible?
MoL-2018-15:
Jonathan Pesetsky Factual Conditionals and Hypothetical Commitments
MoL-2018-14:
Ethan S. Lewis Computation with Infinite Programs
MoL-2018-13:
Mathijs S. Mul Recognizing Logical Entailment: Reasoning with Recursive and Recurrent Neural Networks
MoL-2018-12:
Stefania Ionescu Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations
MoL-2018-11:
Silvan Hungerbühler A Computational Method for Philosophical Interpretation
MoL-2018-10:
Jelle Wijnand Don Post-quantum Security of Fiat-Shamir Signatures
MoL-2018-09:
Raja Oktovin Parhasian Damanik Optimality in Stabilizer Testing
MoL-2018-08:
Noor Heerkens Studies in Minimal Mathematics
MoL-2018-07:
Grzegorz Lisowski Preventing Manipulation in Aggregating Value-Based Argumentation Frameworks
MoL-2018-06:
Heidi Metzler Algorithmic Complexity in Textile Patterns
MoL-2018-05:
Matteo Nizzardo Leibniz's Principle and the Problem of Nonindividuality
MoL-2018-04:
Jeroen van Wier Quantum Plaintext Non-Malleability
MoL-2018-03:
Robert Paßmann Loyalty and Faithfulness of Model Constructions for Constructive Set Theory
MoL-2018-02:
Laura S. Molenaar Quine and Loglan: the Influence of Philosophical Ideas on the Creation of a Logical Language
MoL-2018-01:
Line van den Berg Unreliable Gossip
MoL-2017-32:
Yujie Xing Examining Personality Differences in Chit-Chat Sequence to Sequence Conversational Agents
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