Onoprienko Anastasiya Aleksandrovna

Publications in Math-Net.Ru

1. NP-completeness of Hanabi game with minimal parameters
   
   Dokl. RAN. Math. Inf. Proc. Upr., 527 (2025),  206–216
2. 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. Chair of Mathematical Logic and Theory of Algorithms
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, no. 1,  23–32
4. 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. Bitopological models of intuitionistic epistemic logic
   
   Uspekhi Mat. Nauk, 79:1(475) (2024),  189–190
6. 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
7. Cardinality reduction theorem for logics ${\mathrm{QHC}}$ and ${\mathrm{QH4}}$
   
   Algebra Logika, 61:6 (2022),  720–741
8. The predicate version of the joint logic of problems and propositions
   
   Mat. Sb., 213:7 (2022),  97–120
9. Topological models of propositional logic of problems and propositions
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2022, no. 5,  25–30
10. Kripke type semantics for the joint logic of problems and propositions
    
    Intelligent systems. Theory and applications, 25:4 (2021),  333–336
11. Kripke semantics for the logic of problems and propositions
    
    Mat. Sb., 211:5 (2020),  98–125
12. On some slowly terminating term rewriting systems
    
    Mat. Sb., 206:9 (2015),  3–20


13. Исследовательские туры Всесоюзной математической олимпиады
    
    Mat. Pros., Ser. 3, 34 (2025),  128–145
14. Нужно больше золота!
    
    Kvant, 2024, no. 11-12,  10–17
15. Непрерывность дискретная и обычная
    
    Kvant, 2020, no. 2,  38–42
16. Геометрия клетчатой бумаги
    
    Kvant, 2018, no. 11,  27–30