@article{PIM2_1981__30(44)_257591,
     author = {Dosen, Kosta},
     title = {Minimal modal systems in which {Heyting} and classical logic can be embedded.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {41},
     publisher = {mathdoc},
     volume = {30(44)},
     year = {1981},
     zbl = {0494.03008},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1981__30(44)_257591/}
}