Universiteit van Amsterdam

ILLC Publications, All Series, 2017

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