Onoprienko Anastasiya Aleksandrovna

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. 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   
3. On topological models of logics HC and H4
   A. A. Onoprienko
   Seminars "Proof Theory" and "Logic Online Seminar"
   February 21, 2022 18:30   
4. A joint logic of problems and propositions
   A. A. Onoprienko
   Logical Perspectives 2021: Summer School and Workshop
   June 17, 2021 11:00