Xavier CaicedoGeorge MetcalfeRicardo Óscar RodríguezJonas Rogger2026-03-222026-03-22201810.29007/vgh2https://doi.org/10.29007/vgh2https://andeanlibrary.org/handle/123456789/57384Citaciones: 1A 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, indeed co-NP-completeness, for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.enGödelDecidabilityModal logicNormal modal logicS5Accessibility relationFragment (logic)Property (philosophy)Computer scienceKripke semanticsarticle