Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 1 of its 36 references that are in the map. First posted on arXiv 13 May 2021.
Builds on
1 of 36 references.
References · 1
Built on by
Not cited yet.