A Finite Model Property for Gödel Modal Logics | Zendy

Xavier Caicedo | Zendy; George Metcalfe | Zendy; Ricardo Óscar Rodríguez | Zendy; Jonas Rogger | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research