A Finite Model Property for Gödel Modal Logics

A new semantics with the finite model property is provided and used to establish decidability for Godel modal logics based on crisp or fuzzy Kripke frames combined locally with Godel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Godel S5 logic that coincides with the one-variable fragment of first-order Godel logic.