Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1997_36_2_a0, author = {F. Wolter and M. Zakharyaschev}, title = {On the relation between intuitionistic and classical modal}, journal = {Algebra i logika}, pages = {121--155}, publisher = {mathdoc}, volume = {36}, number = {2}, year = {1997}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1997_36_2_a0/} }
F. Wolter; M. Zakharyaschev. On the relation between intuitionistic and classical modal. Algebra i logika, Tome 36 (1997) no. 2, pp. 121-155. http://geodesic.mathdoc.fr/item/AL_1997_36_2_a0/