INVESTIGADORES
CELANI Sergio Arturo
artículos
Título:
Remarks on Intuitionistic Modal Logics
Autor/es:
SERGIO ARTURO CELANI
Revista:
Divulgaciones Matemáticas
Editorial:
Universidad del Zulia
Referencias:
Lugar: Zulia; Año: 2001 vol. 9 p. 137 - 147
ISSN:
1315-2068
Resumen:
This paper is devoted to study an extension of intuitionistic modal logic introduced by Fischer-Servi [6] by means of Lemmon-Scott axiom. We shall prove that this logic is canonical.
