Open AccessA Finite Model Property for Gödel Modal Logics
Author(s) -
Xavier Caicedo,
George Metcalfe,
Ricardo Óscar Rodríguez,
Jonas Rogger
Publication year - 2018
Publication title -
epic series in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 2398-7340
DOI - 10.29007/vgh2
Subject(s) - normal modal logic , decidability , modal logic , accessibility relation , fragment (logic) , kripke semantics , s5 , t norm fuzzy logics , property (philosophy) , mathematics , multimodal logic , discrete mathematics , kripke structure , modal , fuzzy logic , completeness (order theory) , description logic , computer science , algorithm , theoretical computer science , model checking , fuzzy set , artificial intelligence , fuzzy number , philosophy , mathematical analysis , chemistry , epistemology , polymer chemistry
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, indeed co-NP-completeness, for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.