INVESTIGADORES
CELANI Sergio Arturo
artículos
Título:
Una nota sobre la Lógica Modal Intuicionista IMKk
Autor/es:
SERGIO ARTURO CELANI
Revista:
REVISTA DE LA UNIóN MATEMáTICA ARGENTINA
Editorial:
Unión Matemáticas Argentina
Referencias:
Lugar: Bahía Blanca; Año: 2002 vol. 42 p. 1 - 8
ISSN:
0041-6932
Resumen:
In this note we shall introduce the intuitionistic modal logic IMK_{k} as a generalization of the classical modal logic M_{k} <cite>H-C</cite>. We will show that this logic is canonical and that it does not have the finite model property.
