INVESTIGADORES
CELANI Sergio Arturo
artículos
Título:
Interpolación en Lógicas Modales Intuicionistas
Autor/es:
SERGIO ARTURO CELANI
Revista:
Actas del V Congreso Antonio Monteiro
Editorial:
Instituto de Matemáticas- INMABB
Referencias:
Lugar: Bahía Blanca; Año: 1999 p. 1 - 9
ISSN:
0327-9170
Resumen:
In this paper we prove that any canonical extension of the intuitionistic modal logic IK, such that its class of frames is closed under bisimulation products, has the Interpolation Property
