Publications
A Proof Theoretic Investigation of Modal Weak Kleene Logics
[in preparation]
(j.w.w. Fabio De Martin Polo)
On Conditional Ranking Functions
[in preparation]
(j.w.w. Lluis Godo and Tommaso Flaminio)
Fragmented in Translation
[in preparation]
(j.w.w. Samuele Iaquinto)
Variable and Content Inclusion in Modal Logic
[submitted]
Abstract: This paper investigates the application of two-address semantics to modal logic: a framework that employs bi-dimensional valuations to capture truth-conditional and topical dimensions of a proposition, in accordance with a two-component view of propositional content. This framework has proven successful in characterizing content inclusion logics in the non-modal propositional setting—namely, systems based on the joint preservation of truth and subject matter—but its extension to modal languages remains largely unexplored. We define two-address valuations—which maintain classical Kripke semantics and interpret the topics of modal formulas into a suitable semilattice—to advance two types of content and variable inclusion modal logics: one with topic-transparent modalities, yielding systems characterized by plain variable inclusion, and another with topic-transformative modalities, enforcing a depth-sensitive form of variable inclusion. We conclude by suggesting future applications, arguing that this two-address framework provides a robust and general foundation for variable and content inclusion modal logics.
(j.w.w. Agustina Borzi, Damian Szmuc, Martina Zirattu)
Post Completeness in Conditional Logic
[submitted]
Abstract: A logic is Post complete if it is consistent but has no consistent proper extensions. In this article, we systematically investigate the Post complete extensions of certain basic conditional logics. We identify all of the finitely many regular and normal Post complete conditional logics, and prove analogues of Makinson’s embedding theorems. We also show that certain basic conditional logics have uncountably many Post complete extensions for which closure under some, but not necessarily all, rules peculiar to the conditional are relaxed. We reflect on what our results tell us about the structure of certain lattices of conditional logics and also draw some morals for multimodal logic.
(j.w.w. Yale Weiss)
From Conditionalization to Imaging Through the Triviality Glass
Annals of Mathematics and Artificial Intelligence, 2026
(j.w.w. Tommaso Flaminio and Lluís Subirana)
The Algebras of Lewis’s Counterfactuals: Duality Theory
The Review of Symbolic Logic, 19(1):46–80, 2026
(j.w.w. Sara Ugolini)
Modal Weak Kleene Logics Through Variables Inclusion
Journal of Philosophical Logic, 54:1277–1303, 2025
On Measuring the Possibility of Selection-Function Based Conditionals, General Updates, and Qualitative Capacities
In Sauerwald, K. and Thimm, M. (eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Lecture Notes in Computer Science, Springer
(j.w.w. Tommaso Flaminio and Lluis Godo)
Conditionals Based on Selection Functions, Modal Operators, and Probabilities
Proceedings of TARK 2025, Electronic Proceedings in Theoretical Computer Science, 437:128–137
(j.w.w. Tommaso Flaminio and Lluis Godo)
The Algebras of Lewis’s Counterfactuals: Axiomatizations and Algebraizability
The Review of Symbolic Logic, 18(2):563–588
(j.w.w. Sara Ugolini)
Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging
In Pierre Marquis, Magdalena Ortiz and Maurice Pagnucco (eds.), KR 2024: Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 372–382, IJCAI Organization
(j.w.w. Tommaso Flaminio and Lluís Godo)
Causal Modeling Semantics for Counterfactuals with Disjunctive Antecedents
Annals of Pure and Applied Logic, 175(9):103336, 2024
(j.w.w. Jan Sprenger)
Counterfactuals as Modal Conditionals, and Their Probability
Artificial Intelligence, 323(C):103970, 2023
(j.w.w. Tommaso Flaminio and Stefano Bonzio)
Truthmakers, Incompatibility, and Modality
Australasian Journal of Logic, 19(5):214–253, 2022
(j.w.w. Matteo Plebani and Vita Saitta)
