Browsing by Autor "Jonas Rogger"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item type: Item ,
    A Finite Model Property for Gödel Modal Logics
    (2018) Xavier Caicedo; George Metcalfe; Ricardo Óscar Rodríguez; Jonas Rogger
    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.