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
Publicado: 2013
Materias:
Finite model property
First-order
Kripke frames
Modal logic
Semantics
Computability and decidability
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8071LNCS_n_p226_Caicedo
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
id paper:paper_03029743_v8071LNCS_n_p226_Caicedo
record_format dspace
spelling paper:paper_03029743_v8071LNCS_n_p226_Caicedo2023-06-08T15:28:50Z A finite model property for gödel modal logics Finite model property First-order Kripke frames Modal logic Semantics Computability and decidability 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. 2013 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8071LNCS_n_p226_Caicedo http://hdl.handle.net/20.500.12110/paper_03029743_v8071LNCS_n_p226_Caicedo
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Finite model property
First-order
Kripke frames
Modal logic
Semantics
Computability and decidability
spellingShingle Finite model property
First-order
Kripke frames
Modal logic
Semantics
Computability and decidability
A finite model property for gödel modal logics
topic_facet Finite model property
First-order
Kripke frames
Modal logic
Semantics
Computability and decidability
description 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.
title A finite model property for gödel modal logics
title_short A finite model property for gödel modal logics
title_full A finite model property for gödel modal logics
title_fullStr A finite model property for gödel modal logics
title_full_unstemmed A finite model property for gödel modal logics
title_sort finite model property for gödel modal logics
publishDate 2013
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8071LNCS_n_p226_Caicedo
http://hdl.handle.net/20.500.12110/paper_03029743_v8071LNCS_n_p226_Caicedo
_version_ 1768544819029737472

Ejemplares similares