A Finite Model Property for Gödel Modal Logics

@inproceedings{Caicedo2013AFM,
  title={A Finite Model Property for G{\"o}del Modal Logics},
  author={Xavier Caicedo and George Metcalfe and Ricardo Oscar Rodr{\'i}guez and Jonas Rogger},
  booktitle={TACL},
  year={2013}
}
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, and indeed co-NPcompleteness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Rodŕıguez. Standard Gödel modal logics

  • R. X. Caicedo
  • Studia Logica,
  • 2010
Highly Influential
7 Excerpts

Modal logic

  • P. Blackburn, M. de Rijke, Y. Venema
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…