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