3 papers
cs.LO2026
A Gödel Modal Logic Over Witnessed Models
Mauro Ferrari, Camillo Fiorentini, Paolo Giardini +1
We introduce GW, a Gödel modal logic based on Kripke models in which the value of each modal formula is witnessed by an accessible world. This witnessed semantics eliminates the l…
math.LO2026
Axiomatizing logics of finite Gödel-Kripke models
Amanda Vidal, Ricardo O. Rodriguez
We investigate completeness for modal Gödel logics with respect to finite Gödel-Kripke models, along with related aspects. It is well known that the logics studied in [4, 11] fai…
math.LO2025
Twist-structures isomorphic to modal Nelson lattices
Paula Menchón, Ricardo O. Rodriguez
In this paper, we introduce a new variety of Heyting algebras with two unary modal operators that are not interdefinable but satisfy the weakest condition necessary to define modal…