9 citations · 21 across the 11 of their papers we have counts for
Showing cs.LOShow 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…
cs.LO2016★ 5 cited
Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
Félix Bou, Francesc Esteva, Lluís Godo +1
In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD4…