A. A. Onoprienko, “Bitopological models of intuitionistic epistemic logic”, Uspekhi Mat. Nauk, 79:1(475) (2024), 189–190; Russian Math. Surveys, 79:1 (2024), 179–181
2023
2.
A. A. Onoprienko, “On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC”, Dokl. RAN. Math. Inf. Proc. Upr., 514:1 (2023), 123–128; Dokl. Math., 108:3 (2023), 528–532
2022
3.
A. A. Onoprienko, “Cardinality reduction theorem for logics ${\mathrm{QHC}}$ and ${\mathrm{QH4}}$”, Algebra Logika, 61:6 (2022), 720–741
4.
A. A. Onoprienko, “The predicate version of the joint logic of problems and propositions”, Mat. Sb., 213:7 (2022), 97–120; Sb. Math., 213:7 (2022), 981–1003
A. A. Onoprienko, “Topological models of propositional logic of problems and propositions”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2022, no. 5, 25–30; Moscow University Mathematics Bulletin, 77:5 (2022), 236–241
A. A. Onoprienko, “Kripke type semantics for the joint logic of problems and propositions”, Intelligent systems. Theory and applications, 25:4 (2021), 333–336
2020
7.
A. A. Onoprienko, “Kripke semantics for the logic of problems and propositions”, Mat. Sb., 211:5 (2020), 98–125; Sb. Math., 211:5 (2020), 709–732
L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Mat. Sb., 206:9 (2015), 3–20; Sb. Math., 206:9 (2015), 1173–1190
Contact us: