[in preparation]
(j.w.w. Fabio De Martin Polo)

[in preparation]
(j.w.w. Lluis Godo and Tommaso Flaminio)

[in preparation]
(j.w.w. Samuele Iaquinto)

[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 propo-
sition, 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 set-
ting—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 modali-
ties, 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)

[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)

[submitted]
Abstract: The present paper aims at exhibiting a uniform and systematic perspective over
a landscape of probabilistic updating methods, ranging from conditionalization
to imaging techniques. We particularly focus on a way to do imaging that we call
non-Bayesian, because it changes a prior probability in a belief function, in the
sense of Dempster-Shafer theory of evidence. We show the effect of combining
that non-Bayesian imaging with the so called pignistic transformation, a method
that allows to recover a probability form a belief function. Finally, we leverage
the results obtained to present a kind of extension of Lewis’s celebrated triviality
result to relate Bayesian and non-Bayesian imaging methods. The main method-
ological path we will follow is algebraic and, thanks to it, we will employ recently
introduced modal algebraic models for conditionals and counterfactuals to shed
further light on the Bayesian and the non-Bayesian approaches to imaging.

(j.w.w. Tommaso Flaminio and Lluis Subirana)

The Review of Symbolic Logic, 2025 (online)
(j.w.w. Sara Ugolini)

Journal of Philosophical Logic, 2025

In Sauerwald, K., 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)

Proceedings of TARK2025, EPTCS, (j.w.w. Tommaso Flaminio and Lluis Godo)

The Review of Symbolic Logic, 18(2): 563 – 588
(j.w.w. Sara Ugolini)