3 papers
math.LO2026
Ultrafilter Extensions for Veltman Semantics
Fèlix Frigola González, Joost J. Joosten, Vicent Navarro Arroyo +1
In this paper, we present a first-order frame condition for interpretability logic and show that the condition is not modally definable. Yet, the frame condition holds both on ILM…
math.LO2026
Gödel-Dummett and : Linearity and Depth-Two Branching in Kripke Semantics
Vicent Navarro Arroyo
We study the semantic relationship between Gödel-Dummett logic and bounded-depth-2 logic , two well-known intermediate logics. While imp…
math.LO2025
On the Contingency of Logic in Possible World Semantics
Iris van der Giessen, Joost J. Joosten, Paul Mayaux +1
This paper investigates the contingency of logic within the framework of possible world semantics. Possible world semantics captures the meaning of necessitation, i.e., a statement…