|
This article is cited in 36 scientific papers (total in 36 papers)
On the relation between intuitionistic and classical modal
logics
F. Woltera, M. Zakharyaschevb a School of Information Science, JAIST, Japan
b Freie Universität Berlin, Institut für Mathematik
Received: 13.09.1995
Citation:
F. Wolter, M. Zakharyaschev, “On the relation between intuitionistic and classical modal
logics”, Algebra Logika, 36:2 (1997), 121–155
Linking options:
https://www.mathnet.ru/eng/al2386 https://www.mathnet.ru/eng/al/v36/i2/p121
|
|