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
- X-2017-02:
- Johan van Benthem Truth Maker Semantics and Modal Information Logic