%0 Journal Article %A A. A. Onoprienko %T Kripke semantics for the logic of problems and propositions %J Sbornik. Mathematics %D 2020 %P 709-732 %V 211 %N 5 %U http://geodesic.mathdoc.fr/item/SM_2020_211_5_a3/ %G en %F SM_2020_211_5_a3