Bi-modal Gödel logic over [0,1]-valued Kripke frames
We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel algebra [0,1], and prove strong completeness of the Fischer Servi intuitionistic modal logic IK plus the prelinearity axiom...
Guardado en:
| Autores principales: | Caicedo, X., Rodríguez, R.O. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_0955792X_v25_n1_p37_Caicedo |
| Aporte de: |
Ejemplares similares
-
Bi-modal Gödel logic over [0,1]-valued Kripke frames
Publicado: (2015) -
Standard Gödel modal logics
por: Caicedo, X., et al. -
Standard Gödel modal logics
Publicado: (2010) -
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
por: Bou, F., et al. -
Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations
Publicado: (2009)