A Finite Model Property for Gödel Modal Logics

4 pages•Published: July 28, 2014

Xavier Caicedo, George Metcalfe, Ricardo Rodriguez and Jonas Rogger

Abstract

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.

Keyphrases: finite model property, fuzzy logics, gödel logic

In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 183-186.

Links:	https://easychair.org/publications/paper/wwb
	https://doi.org/10.29007/vgh2

BibTeX entry

@inproceedings{TACL2013:Finite_Model_Property_Gödel,
  author    = {Xavier Caicedo and George Metcalfe and Ricardo Rodriguez and Jonas Rogger},
  title     = {A Finite Model Property for Gödel Modal Logics},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wwb},
  doi       = {10.29007/vgh2},
  pages     = {183-186},
  year      = {2014}}

Download PDF Open PDF in browser