Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
2021-05-13Unverified0· sign in to hype
Ricardo Rodriguez, Olim Tuyt, Lluis Godo, Francesc Esteva
Unverified — Be the first to reproduce this paper.
ReproduceAbstract
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, > where W is a non-empty set of worlds and : W [0, 1] is a possibility distribution on W.