14 research outputs found

    Divulgaciones Matemáticas Vol. 9 No. 2(2001), pp. 137–147 Remarks on Intuitionistic Modal Logics

    No full text
    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. Key words and phrases: modal logic, intuitionistic logic, intuitionistic modal Logic. Resumen Este trabajo se dedica a estudiar una extensión de la lógica modal intuicionista introducida por Fischer-Servi [6] por medio del axioma de Lemmon-Scott. Se prueba que esta lógica es canónica. Palabras y frases clave: lógica modal, lógica intuicionista, lógica modal intuicionista,
    corecore