Showing math.LOShow all
2 papers · 1 filter
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…