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
MoL-2019-19:
Wouter Posdijk The influence of the simplicity/informativeness trade-off on the sematic typology of quantifiers
MoL-2019-20:
Gaia Belardinelli Gatekeepers in Social Networks: Logics for Communicative Actions
MoL-2019-21:
Ho-Yin Lui Expressive Limitations and the Liar’s Revenge: A Strict-Tolerant Solution and A Pragmatic Solution For Dialetheism
MoL-2019-22:
Jacqueline 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
MoL-2019-26:
Dimitrios Koutsoulis Lifschitz Realizability for Homotopy Type Theory
MoL-2019-27:
John Hunter McKnight Quantum Shell Games: How to Classically Delegate the Preparation of Authenticated Quantum States
MoL-2019-28:
Giuliano Rosella A Truthmaker Semantics Approach to Modal 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 Modern faces of filtration
PP-2019-14:
Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Arbitrary Public Announcement Logic with Memory
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
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-2019-31:
Carlo Proietti, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes
Authors
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, 2017–2022