This article is cited in 42 papers

On the relation between intuitionistic and classical modal logics

F. Wolter^a, M. Zakharyaschev<sup>b

a</sup> School of Information Science, JAIST, Japan
^b Freie Universität Berlin, Institut für Mathematik

UDC: 510.64

Received: 13.09.1995

 English version: DOI: 10.1007/BF02672476

Bibliographic databases:

•