Main Page Navigation
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
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
