Main Page Navigation
ILLC Publications, All Series, 2019-2020
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;
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
PP-2019-27 :
Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
The Modal Logic of Stepwise Removal
PP-2019-28 :
Zoi Terzopoulou, Ulle Endriss
Neutrality and Relative Acceptability in Judgment Aggregation
PP-2019-29 :
Ulle Endriss
Collective Information
PP-2019-30 :
Ulle Endriss
Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms
PP-2020-01 :
Merlin Carl, Lorenzo Galeotti
Resetting Infinite Time Blum-Shub-Smale-Machines
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
