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
MoL-2019-13:
Zhuoye Zhao Varieties of Distributivity: From Mandarin Dou to Plurality, Free Choice and Scalarity
MoL-2019-14:
Tomislav Karačić The Informational View of Technologies in the Scientific Practice
MoL-2019-15:
David O’Connell Lorentzian Structures on Branching Spacetimes
MoL-2019-16:
Robin Martinot Sets and Categories: What Foundational Approaches Tell Us About Mathematical Thought
MoL-2019-17:
Michael Vollmer On Logical Nihilism
MoL-2019-18:
Matteo Ferrari Questioning Philosophy
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
PP-2019-22:
Peter van Emde Boas, Ghica van Emde Boas-Lubsen The Rules of Victorious Warriors - revised version
PP-2019-23:
Ghica van Emde Boas-Lubsen, Bonan Zhao, Peter van Emde Boas Sun Tzu and the Rules of Victorious Warriors;
Analysing the rules of Sun Tzu using Mind maps
PP-2019-24:
Anthia Solaki Rule-based Reasoners in Epistemic Logic
PP-2019-25:
Anthia Solaki A dynamic epistemic logic for resource-bounded agents
PP-2019-26:
Anthia Solaki, Fernando R. Velázquez-Quesada Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks
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