Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
arXiv:2105.06570v15 citations
Originality Synthesis-oriented
AI Analysis
This work addresses a theoretical problem in modal logic for researchers, but it appears incremental as it builds on existing frameworks.
The paper tackles the problem of providing simplified semantics for the many-valued Gödel counterpart of the classical modal logic K45, characterizing it as the set of valid formulae in possibilistic Gödel Kripke frames with a possibility distribution.
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 \to [0, 1] is a possibility distribution on W.