A Finite Model Property for Gödel Modal Logics

Simple item page
dc.contributor.authorXavier Caicedo
dc.contributor.authorGeorge Metcalfe
dc.contributor.authorRicardo Óscar Rodríguez
dc.contributor.authorJonas Rogger
dc.coverage.spatialBolivia
dc.date.accessioned2026-03-22T16:17:38Z
dc.date.available2026-03-22T16:17:38Z
dc.date.issued2018
dc.descriptionCitaciones: 1
dc.description.abstractA 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.
dc.identifier.doi10.29007/vgh2
dc.identifier.urihttps://doi.org/10.29007/vgh2
dc.identifier.urihttps://andeanlibrary.org/handle/123456789/57384
dc.language.isoen
dc.relation.ispartofEPiC series in computing
dc.sourceUniversidad de Los Andes
dc.subjectGödel
dc.subjectDecidability
dc.subjectModal logic
dc.subjectNormal modal logic
dc.subjectS5
dc.subjectAccessibility relation
dc.subjectFragment (logic)
dc.subjectProperty (philosophy)
dc.subjectComputer science
dc.subjectKripke semantics
dc.titleA Finite Model Property for Gödel Modal Logics
dc.typearticle

Files

Collections

Artículo Científico Publicado