/ / / /

Publications

Institute for Logic, Language and Computation

ILLC Publications, All Series, 2019

MoL-2019-22:: Jack Harding Incorporating Preference Information into Formal Models of Transitive Proxy Voting
1.Full Text, 2.Abstract.
MoL-2019-23:: Chase Ford Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees
1.Full Text, 2.Abstract.
MoL-2019-24:: Rachael H. Colley Guaranteeing Feasible Outcomes in Judgment Aggregation
1.Full Text, 2.Abstract.
MoL-2019-25:: Davide Emilio Quadrellaro Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic
1.Full Text, 2.Abstract.
PP-2019-01:: Johan van Benthem Vistas from a Drop of Water
1.Full Text, 2.Abstract.
PP-2019-02:: Alexandru Baltag, Johan van Benthem Some Thoughts on the Logic of Imprecise Observation
1.Full Text, 2.Abstract.
PP-2019-03:: Johan van Benthem, Fenrong Liu Graph Games and Logic Design
1.Full Text, 2.Abstract.
PP-2019-04:: Johan van Benthem, Dominik Klein Logics for Analyzing Games
1.Full Text, 2.Abstract.
PP-2019-05:: Robert Passmann The de Jongh property for bounded constructive Zermelo-Fraenkel set theory
1.Full Text, 2.Abstract.
PP-2019-06:: V. Yu. Shavrukov R.e. prime powers and total rigidity
1.Full Text, 2.Abstract.
PP-2019-07:: Johan van Benthem, Dag Westerstähl Generalized Quantifiers Meet Modal Neighborhood Semantics
1.Full Text, 2.Abstract.
PP-2019-08:: Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González The McKinsey-Tarski Theorem for Topological Evidence Logics
1.Full Text, 2.Abstract.
PP-2019-09:: Nick Bezhanishvili, Jim de Groot, Yde Venema Coalgebraic geometric logic
1.Full Text, 2.Abstract.
PP-2019-10:: Lorenzo Galeotti Surreal Blum-Shub-Smale Machines
1.Full Text, 2.Abstract.
PP-2019-11:: Johan van Benthem, Fenrong Liu, Sonja Smets Logico-Computational Aspects of Rationality
1.Full Text, 2.Abstract.
PP-2019-12:: Anthia Solaki, Francesco Berto, Sonja Smets The Logic of Fast and Slow Thinking
1.Full Text, 2.Abstract.
PP-2019-13:: Johan van Benthem, Nick Bezhanishvili Some recent perspectives on filtration
1.Full Text, 2.Abstract.
PP-2019-14:: Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas APAL with Memory is Better
1.Full Text, 2.Abstract.
PP-2019-15:: Peter Hawke, Aybüke Özgün Truthmaker Semantics for Epistemic Logic
1.Full Text.
PP-2019-16:: Weiwei Chen, Ulle Endriss Preservation of Semantic Properties in Collective Argumentation: The Case of Aggregating Abstract Argumentation Frameworks
1.Full Text, 2.Abstract.
PP-2019-17:: Zoi Terzopoulou, Ulle Endriss Rethinking the Neutrality Axiom in Judgment Aggregation (Extended Abstract)
1.Full Text, 2.Abstract.
PP-2019-18:: Zoi Terzopoulou, Ulle Endriss Strategyproof Judgment Aggregation under Partial Information
1.Full Text, 2.Abstract.
PP-2019-19:: Zoi Terzopoulou, Ulle Endriss Aggregating Incomplete Pairwise Preferences by Weight
1.Full Text, 2.Abstract.
PP-2019-20:: Zoi Terzopoulou, Ulle Endriss Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments
1.Full Text, 2.Abstract.
PP-2019-21:: Ronald de Haan, Marija Slavkovik Answer Set Programming for Judgment Aggregation
1.Full Text, 2.Abstract.
PP-2019-22:: Peter van Emde Boas, Ghica van Emde Boas-Lubsen The Rules of Victorious Warriors - revised version
1.Full Text, 2.Abstract.
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
1.Full Text, 2.Abstract.
PP-2019-24:: Anthia Solaki Rule-based Reasoners in Epistemic Logic
1.Full Text, 2.Abstract.
PP-2019-25:: Anthia Solaki A dynamic epistemic logic for resource-bounded agents
1.Full Text, 2.Abstract.
PP-2019-26:: Anthia Solaki, Fernando R. Velázquez-Quesada Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks
1.Full Text, 2.Abstract.
X-2019-01:: Dazhu Li Losing Connection: the Modal Logic of Definable Link Deletion
1.Abstract, 2.full text.
X-2019-02:: Johan van Benthem Inventory Scientific Archive 1961-2017
1.Full Text, 2.Abstract.