A. A. Onoprienko, “Correction to the article A. A. Onoprienko “On the analogues of Erbran and Harrop theorems for the joint logic of problems and QHC statements””, Dokl. RAN. Math. Inf. Proc. Upr., 515 (2024), 124
2.
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
3.
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
4.
A. A. Onoprienko, “Cardinality reduction theorem for logics ${\mathrm{QHC}}$ and ${\mathrm{QH4}}$”, Algebra Logika, 61:6 (2022), 720–741
5.
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
8.
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: