/ / / /

Publications

Institute for Logic, Language and Computation

ILLC Publications, All Series, 2019

MoL-2019-01:: Kyah Elisabeth Mercedes Smaal Strategic manipulation in voting under higher-order reasoning
1.Full Text, 2.Abstract.
MoL-2019-02:: Daan van Stigt Neural language models with latent syntax
1.Full Text, 2.Abstract.
MoL-2019-03:: Bas van den Heuvel The Logic of Fault-Tolerance in Message-Passing Concurrency
1.Full Text, 2.Abstract.
MoL-2019-04:: Nuno Maia Tennenbaum’s Theorem and Non-Classical Arithmetic
1.Full Text, 2.Abstract.
MoL-2019-05:: Yvette Oortwijn Dynamic Set Theory
1.Full Text, 2.Abstract.
MoL-2019-06:: Anna Franchini Space and the Continuum from Kant to Poincaré
1.Full Text, 2.Abstract.
MoL-2019-07:: Nicolò Zamperlin Intensional Kleene logics for vagueness
1.Full Text, 2.Abstract.
MoL-2019-08:: Sam Adam-Day Polyhedral Completeness in Intermediate and Modal Logics
1.Full Text, 2.Abstract.
MoL-2019-09:: David Santamaría Legarda Defending Classes
1.Full Text, 2.Abstract.
MoL-2019-10:: Mina Young Pedersen Polarization and Echo Chambers: A Logical Analysis of Balance and Triadic Closure in Social Networks
1.Full Text, 2.Abstract.
MoL-2019-11:: Marco Degano Meaning through Time: A Diachronic and Semantic Study of Italian Free Choice
1.Full Text, 2.Abstract.
MoL-2019-12:: Tim Henke The van Benthem Characterisation Theorem for Descriptive Models
1.Full Text, 2.Abstract.
MoL-2019-13:: Zhuoye Zhao Varieties of Distributivity: From Mandarin Dou to Plurality, Free Choice and Scalarity
1.Full Text, 2.Abstract.
MoL-2019-14:: Tomislav Karačić The Informational View of Technologies in the Scientific Practice
1.Full Text, 2.Abstract.
MoL-2019-15:: David O’Connell Lorentzian Structures on Branching Spacetimes
1.Full Text, 2.Abstract.
MoL-2019-16:: Robin Martinot Sets and Categories: What Foundational Approaches Tell Us About Mathematical Thought
1.Full Text, 2.Abstract.
MoL-2019-17:: Michael Vollmer On Logical Nihilism
1.Full Text, 2.Abstract.
MoL-2019-18:: Matteo Ferrari Questioning Philosophy
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.