9 citations · 21 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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 li…
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] fail…