Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic

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