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