Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions (Q2157603): Difference between revisions

The paper considers the many-valued modal logic K45(G), that is, K45 where the truth value set is \([0,1]\) equipped with Gödel fuzzy logic. A semantics of this logic is given by generalized Kripke models where accessibility relation and atom evaluation are valued in \([0,1]\). The logics KD45(G) and KT45(G) are obtained by adding to K45(G) the appropriate modal axioms. In Section 4, it is shown that the semantics of K45(G) can be simplified and given in terms of possibilistic Kripke frames, given by a set \(W\) of worlds and a possibility distribution \(\pi:W\to [0,1]\). A subset of this semantics is complete for KD45(G), and another one is complete for KT45(G) (this latter result was already known). In Section 5 it is shown that K45(G) does not have the finite model property in the semantics described here, but it has it in another, hence decidability (and low complexity) of the logic follows.