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, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic. © 2013 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Caicedo, X., Metcalfe, G., Rodríguez, R., & Rogger, J. (2013). A finite model property for gödel modal logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8071 LNCS, pp. 226–237). Springer Verlag. https://doi.org/10.1007/978-3-642-39992-3_20
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
