@article{SM_2020_211_5_a3,
     author = {A. A. Onoprienko},
     title = {Kripke semantics for the logic of problems and propositions},
     journal = {Sbornik. Mathematics},
     pages = {709--732},
     year = {2020},
     volume = {211},
     number = {5},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SM_2020_211_5_a3/}
}