Universiteit van Amsterdam

ILLC Publications, All Series, 2019

MoL-2019-01:
Kyah Elisabeth Mercedes Smaal Strategic manipulation in voting under higher-order reasoning
MoL-2019-02:
Daan van Stigt Neural language models with latent syntax
MoL-2019-03:
Bas van den Heuvel The Logic of Fault-Tolerance in Message-Passing Concurrency
MoL-2019-04:
Nuno Maia Tennenbaum’s Theorem and Non-Classical Arithmetic
MoL-2019-05:
Yvette Oortwijn Dynamic Set Theory
MoL-2019-06:
Anna Franchini Space and the Continuum from Kant to Poincaré
MoL-2019-07:
Nicolò Zamperlin Intensional Kleene logics for vagueness
MoL-2019-08:
Sam Adam-Day Polyhedral Completeness in Intermediate and Modal Logics
MoL-2019-09:
David Santamaría Legarda Defending Classes
MoL-2019-10:
Mina Young Pedersen Polarization and Echo Chambers: A Logical Analysis of Balance and Triadic Closure in Social Networks
MoL-2019-11:
Marco Degano Meaning through Time: A Diachronic and Semantic Study of Italian Free Choice
MoL-2019-12:
Tim Henke The van Benthem Characterisation Theorem for Descriptive Models
PP-2019-01:
Johan van Benthem Vistas from a Drop of Water
PP-2019-02:
Alexandru Baltag, Johan van Benthem Some Thoughts on the Logic of Imprecise Observation
PP-2019-03:
Johan van Benthem, Fenrong Liu Graph Games and Logic Design
PP-2019-04:
Johan van Benthem, Dominik Klein Logics for Analyzing Games
PP-2019-05:
Robert Passmann The de Jongh property for bounded constructive Zermelo-Fraenkel set theory
PP-2019-06:
V. Yu. Shavrukov R.e. prime powers and total rigidity
PP-2019-07:
Johan van Benthem, Dag Westerstähl Generalized Quantifiers Meet Modal Neighborhood Semantics
PP-2019-08:
Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González The McKinsey-Tarski Theorem for Topological Evidence Logics
PP-2019-09:
Nick Bezhanishvili, Jim de Groot, Yde Venema Coalgebraic geometric logic
PP-2019-10:
Lorenzo Galeotti Surreal Blum-Shub-Smale Machines
PP-2019-11:
Johan van Benthem, Fenrong Liu, Sonja Smets Logico-Computational Aspects of Rationality
PP-2019-12:
Anthia Solaki, Francesco Berto, Sonja Smets The Logic of Fast and Slow Thinking
PP-2019-13:
Johan van Benthem, Nick Bezhanishvili Some recent perspectives on filtration
PP-2019-14:
Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas APAL with Memory is Better
PP-2019-15:
Peter Hawke, Aybüke Özgün Truthmaker Semantics for Epistemic Logic
PP-2019-16:
Weiwei Chen, Ulle Endriss Preservation of Semantic Properties in Collective Argumentation: The Case of Aggregating Abstract Argumentation Frameworks
PP-2019-17:
Zoi Terzopoulou, Ulle Endriss Rethinking the Neutrality Axiom in Judgment Aggregation (Extended Abstract)
PP-2019-18:
Zoi Terzopoulou, Ulle Endriss Strategyproof Judgment Aggregation under Partial Information
PP-2019-19:
Zoi Terzopoulou, Ulle Endriss Aggregating Incomplete Pairwise Preferences by Weight
PP-2019-20:
Zoi Terzopoulou, Ulle Endriss Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments
PP-2019-21:
Ronald de Haan, Marija Slavkovik Answer Set Programming for Judgment Aggregation
X-2019-01:
Dazhu Li Losing Connection: the Modal Logic of Definable Link Deletion
X-2019-02:
Johan van Benthem Inventory Scientific Archive 1961-2017