Intuitionistic modal logics as fragments of classical bimodal logics. (English) Zbl 0922.03023
Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 168-183 (1999).
Reviewer: G.Mints (Stanford)
MSC:
03B45