Onoprienko Anastasiya Aleksandrovna

Publications in Math-Net.Ru

1. Bitopological models of intuitionistic epistemic logic
   
   Uspekhi Mat. Nauk, 79:1(475) (2024),  189–190
2. 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
3. Cardinality reduction theorem for logics ${\mathrm{QHC}}$ and ${\mathrm{QH4}}$
   
   Algebra Logika, 61:6 (2022),  720–741
4. The predicate version of the joint logic of problems and propositions
   
   Mat. Sb., 213:7 (2022),  97–120
5. Topological models of propositional logic of problems and propositions
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2022, no. 5,  25–30
6. Kripke type semantics for the joint logic of problems and propositions
   
   Intelligent systems. Theory and applications, 25:4 (2021),  333–336
7. Kripke semantics for the logic of problems and propositions
   
   Mat. Sb., 211:5 (2020),  98–125
8. On some slowly terminating term rewriting systems
   
   Mat. Sb., 206:9 (2015),  3–20


9. Непрерывность дискретная и обычная
   
   Kvant, 2020, no. 2,  38–42
10. Геометрия клетчатой бумаги
    
    Kvant, 2018, no. 11,  27–30