Main Page Navigation
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;
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
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
