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:
| Autores principales: | Caicedo, X., Rodriguez, R.O. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00393215_v94_n2_p189_Caicedo |
| Aporte de: |
Ejemplares similares
-
Standard Gödel modal logics
Publicado: (2010) -
Bi-modal Gödel logic over [0,1]-valued Kripke frames
por: Caicedo, X., et al. -
Bi-modal Gödel logic over [0,1]-valued Kripke frames
Publicado: (2015) -
A connection between similarity logic programming and gödel modal logic
por: Blandi, L., et al. -
A connection between similarity logic programming and gödel modal logic
Publicado: (2005)