TY  - JOUR
AU  - A. A. Onoprienko
TI  - Kripke semantics for the logic of problems and propositions
JO  - Sbornik. Mathematics
PY  - 2020
SP  - 709
EP  - 732
VL  - 211
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/SM_2020_211_5_a3/
LA  - en
ID  - SM_2020_211_5_a3
ER  -