Universiteit van Amsterdam

ILLC Publications, All Series, 2018

PP-2018-01:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A propositional dynamic logic for instantial neighborhood semantics
PP-2018-02:
Ulle Endriss, Umberto Grandi Graph Aggregation: Extended Abstract
PP-2018-03:
Janosch Döcker, Britta Dorn, Ulle Endriss, Ronald de Haan, Sebastian Schneckenburger Tool Auctions
PP-2018-04:
Zoi Terzopoulou, Ulle Endriss Modelling Iterative Judgment Aggregation
PP-2018-05:
Frederik Möllerström Lauridsen Intermediate logics admitting a structural hypersequent calculus
PP-2018-06:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A new game equivalence, its logic and algebra
PP-2018-07:
Benedikt Löwe, Bart Van Kerkhove Methodological triangulation in empirical philosophy (of mathematics)
PP-2018-08:
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Two Neighborhood Semantics for Subintuitionistic Logics
PP-2018-09:
Nick Bezhanishvili, Almudena Colacito, Dick de Jongh A Study of Subminimal Logics of Negation and their Modal Companions
PP-2018-10:
Dick de Jongh, Ana Lucia Vargas Finite identification with positive and with complete data
PP-2018-11:
Ronald de Haan Hunting for Tractable Languages for Judgment Aggregation
PP-2018-12:
Ronald de Haan A Parameterized Complexity View on Description Logic Reasoning
PP-2018-13:
Nick Bezhanishvili, Wesley H. Holliday Choice-free Stone duality
PP-2018-14:
Merlin Carl, Lorenzo Galeotti, Benedikt Löwe The Bolzano-Weierstrass Theorem in Generalised Analysis
PP-2018-15:
Benedikt Löwe, Robert Passmann, Sourav Tarafder Constructing illoyal algebra-valued models of set theory
PP-2018-16:
Ulle Endriss Judgment Aggregation with Rationality and Feasibility Constraints
PP-2018-17:
Weiwei Chen, Ulle Endriss Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules
PP-2018-18:
Anthia Solaki, Sonja Smets The effort of reasoning: modelling the inference steps of boundedly rational agents
X-2018-01:
David O'Connell Supertasks and Spacetime
X-2018-02:
A.S. Troelstra Corrections to some Publications