5 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
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…