|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
A. A. Onoprienko, “NP-completeness of Hanabi game with minimal parameters”, Dokl. RAN. Math. Inf. Proc. Upr., 527 (2025), 206–216   |
| 2. |
A. A. Onoprienko, “Impossibility of an embedding of the logic $\operatorname{HC}$ into $\operatorname{IEL}^+$ preserving the classical implication”, Uspekhi Mat. Nauk, 80:5(485) (2025), 187–188 |
| 3. |
A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, no. 1, 23–32 ; Moscow University Mathematics Bulletin, 80:1 (2025), 23–33 |
|
2024 |
| 4. |
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 |
| 5. |
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   |
1
|
|
2023 |
| 6. |
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 |
| 7. |
A. A. Onoprienko, “Cardinality reduction theorem for logics ${\mathrm{QHC}}$ and ${\mathrm{QH4}}$”, Algebra Logika, 61:6 (2022), 720–741 ; Algebra and Logic, 61:6 (2022), 491–505 |
| 8. |
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 |
5
|
| 9. |
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 |
5
|
|
2021 |
| 10. |
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 |
| 11. |
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 |
8
|
|
2015 |
| 12. |
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 |
4
|
|
|
|
2024 |
| 13. |
A. Onoprienko, “Нужно больше золота!”, Kvant, 2024, no. 11-12, 10–17 |
|
2020 |
| 14. |
A. Onoprienko, “Непрерывность дискретная и обычная”, Kvant, 2020, no. 2, 38–42 |
|
2018 |
| 15. |
A. A. Onoprienko, “Геометрия клетчатой бумаги”, Kvant, 2018, no. 11, 27–30 |
|
| Presentations in Math-Net.Ru |
| 1. |
Logics of problems
V. B. Shehtman, A. A. Onoprienko
Seminar "Complex analysis in several variables" (Vitushkin Seminar)
March 20, 2024 16:45
|
| 2. |
От интуиционистской логики к логике задач
Анастасия Оноприенко
Mathematical seminar Faculty of Computer Science HSE
March 15, 2024 18:10
|
| 3. |
Приветственное слово
A. A. Onoprienko, A. L. Semenov
June 29, 2023 11:15
|
| 4. |
Completeness of the logic HC in a special space
Anastasiia Onoprienko
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 15, 2023 15:00
|
| 5. |
On topological models of intuitionistic epistemic logic
A. A. Onoprienko
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 7, 2022 17:00
|
| 6. |
On topological models of logics HC and H4
A. A. Onoprienko
Seminars
"Proof Theory" and "Logic Online Seminar"
February 21, 2022 18:30
|
| 7. |
A joint logic of problems and propositions
A. A. Onoprienko
Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 11:00
|
| 8. |
Предикатный вариант совместной логики задач и высказываний
A. A. Onoprienko
Seminars
"Proof Theory" and "Logic Online Seminar"
March 16, 2020 18:30
|
|
|
| Organisations |
|
|
