Vicent Navarro Arroyo

collaborators

2 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 $B D_{2}$ : Linearity and Depth-Two Branching in Kripke Semantics

Vicent Navarro Arroyo

We study the semantic relationship between Gödel-Dummett logic $GL$ and bounded-depth-2 logic $B D_{2}$ , two well-known intermediate logics. While $GL$ impo…

Ultrafilter Extensions for Veltman Semantics

Gödel-Dummett and BD2​: Linearity and Depth-Two Branching in Kripke Semantics

Gödel-Dummett and $B D_{2}$ : Linearity and Depth-Two Branching in Kripke Semantics