TY  - JOUR
AU  - M. V. Zakharyaschev
TI  - Modal companions of superintuitionistic logics: syntax, semantics, and preservation theorems
JO  - Sbornik. Mathematics
PY  - 1991
SP  - 277
EP  - 289
VL  - 68
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SM_1991_68_1_a13/
LA  - en
ID  - SM_1991_68_1_a13
ER  -