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...
Guardado en:
| Publicado: |
2013
|
|---|---|
| Materias: | |
| 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: |
Ejemplares similares
-
A finite model property for gödel modal logics
por: Caicedo, X., et al. -
Bi-modal Gödel logic over [0,1]-valued Kripke frames
Publicado: (2015) -
Bi-modal Gödel logic over [0,1]-valued Kripke frames
por: Caicedo, X., et al. -
Standard Gödel modal logics
Publicado: (2010) -
Standard Gödel modal logics
por: Caicedo, X., et al.