A finite model property for gödel modal logics

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Caicedo, X., Metcalfe, G., Rodríguez, R., Rogger, J.
Formato: SER
Materias:
Finite model property
First-order
Kripke frames
Modal logic
Semantics
Computability and decidability
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v8071LNCS_n_p226_Caicedo
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario: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.

Ejemplares similares