ILLC Publications, All Series, 2017

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