Universiteit van Amsterdam

ILLC Publications, All Series, 2019

MoL-2019-22:
Jack Harding Incorporating Preference Information into Formal Models of Transitive Proxy Voting
MoL-2019-23:
Chase Ford Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees
MoL-2019-24:
Rachael H. Colley Guaranteeing Feasible Outcomes in Judgment Aggregation
MoL-2019-25:
Davide Emilio Quadrellaro Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic
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