TY  - JOUR
AU  - F. Wolter
AU  - M. Zakharyaschev
TI  - On the relation between intuitionistic and classical modal
JO  - Algebra i logika
PY  - 1997
SP  - 121
EP  - 155
VL  - 36
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1997_36_2_a0/
LA  - ru
ID  - AL_1997_36_2_a0
ER  -