Standard Gödel modal logics
We prove strong completeness of the □-version and the {lozenge, open}-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the f...
Guardado en:
| Publicado: |
2010
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00393215_v94_n2_p189_Caicedo http://hdl.handle.net/20.500.12110/paper_00393215_v94_n2_p189_Caicedo |
| Aporte de: |
Ejemplares similares
-
Standard 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. -
A connection between similarity logic programming and gödel modal logic
Publicado: (2005) -
A connection between similarity logic programming and gödel modal logic
por: Blandi, L., et al.