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

Abstract

In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued G\"odel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(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 \longrightarrow [0, 1]$ is a normalized possibility distribution on $W$.