View publication by year:
- 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
- PP-2017-01:
- Ulle Endriss, Umberto Grandi Graph Aggregation
- PP-2017-02:
- Joop Niekus What is a choice sequence? How a solution of Troelstra's paradox shows the way to an answer to this question
- PP-2017-03:
- Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini Tarski's theorem on intuitionistic logic, for polyhedra.
- PP-2017-04:
- Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for mu-calculi: a coalgebraic approach
- PP-2017-05:
- Sebastian Enqvist, Yde Venema Disjunctive bases: normal forms for modal logics
- PP-2017-06:
- Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema A simple propositional calculus for compact Hausdorff spaces
- PP-2017-07:
- Fernando R. Velázquez-Quesada Reliability-Based Preference Dynamics: Lexicographic Upgrade
- PP-2017-08:
- Lorenzo Galeotti, Hugo Nobrega Towards computable analysis on the generalised real line
- PP-2017-09:
- Sebastian Schneckenburger, Britta Dorn, Ulle Endriss The Atkinson Inequality Index in Multiagent Resource Allocation
- PP-2017-10:
- Lorenzo Galeotti, Benedikt Löwe Order types of models of reducts of Peano Arithmetic and their fragments
- PP-2017-11:
- Weiwei Chen, Ulle Endriss Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks
- PP-2017-12:
- Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity
- PP-2017-13:
- Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill A new proof of the McKinsey-Tarski Theorem
- PP-2017-14:
- Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill On modal logics arising from scattered locally compact Hausdorff spaces
- PP-2017-15:
- Alexandru Baltag, Rachel Boddy, Sonja Smets Group Knowledge in Interrogative Epistemology
- PP-2017-16:
- Sonja Smets, Fernando R. Velázquez-Quesada How to Make Friends: A Logical Approach to Social Group Creation
- PP-2017-17:
- Sonja Smets, Fernando R. Velázquez-Quesada The Creation and Change of Social Networks: a logical study based on group size
- PP-2017-18:
- Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada Argument-based Belief in Topological Structures
- PP-2017-19:
- Guram Bezhanishvili, John Harding, Julia Ilin, Frederik Möllerström Lauridsen MacNeille transferability and stable classes of Heyting algebras
- PP-2017-20:
- Ulle Endriss Trends in Computational Social Choice
- PP-2017-21:
- Johan van Benthem Constructive Agents
- PP-2017-22:
- Johan van Benthem Against All Odds: When Logic Meets Probability
- PP-2017-23:
- Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist IPDL: a new modal logic of computation
- PP-2017-24:
- Johan van Benthem Working with Jan in Four Movements
- PP-2017-25:
- Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A New Game Equivalence and Its Modal Logic
- PP-2017-26:
- Johan van Benthem Semantic Perspectives in Logic
- X-2017-01:
-
Vidhi Trehan, Aude Laloi, Richard van Hoolwerff, Gideon Borensztajn, Gal Moas
The Suppression Task Revisited
Final paper for the course Rationality, Cognition and Reasoning by Michiel van Lambalgen. Originally published December 2005.
- X-2017-02:
- Johan van Benthem Truth Maker Semantics and Modal Information Logic