Possibilistic semantics for a modal KD45 extension of G\"odel fuzzy logic

In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Godel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Godel Kripke Frames < W, pi >, where W is a non-empty set of worlds and pi : W -> [0, 1] is a normalized possibility distribution on W.