Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Onoprienko, Anastasiya Aleksandrovna

Statistics Math-Net.Ru
Total publications: 10
Scientific articles: 8
Presentations: 8

Number of views:
This page:990
Abstract pages:2716
Full texts:1881
References:292
Candidate of physico-mathematical sciences
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:

https://www.mathnet.ru/eng/person111160
List of publications on Google Scholar
List of publications on ZentralBlatt
ISTINA https://istina.msu.ru/workers/146793573

Publications in Math-Net.Ru Citations
2024
1. A. A. Onoprienko, “Bitopological models of intuitionistic epistemic logic”, Uspekhi Mat. Nauk, 79:1(475) (2024),  189–190  mathnet  mathscinet; Russian Math. Surveys, 79:1 (2024), 179–181  isi
2023
2. 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  mathnet  elib; Dokl. Math., 108:3 (2023), 528–532
2022
3. A. A. Onoprienko, “Cardinality reduction theorem for logics ${\mathrm{QHC}}$ and ${\mathrm{QH4}}$”, Algebra Logika, 61:6 (2022),  720–741  mathnet
4. A. A. Onoprienko, “The predicate version of the joint logic of problems and propositions”, Mat. Sb., 213:7 (2022),  97–120  mathnet  mathscinet; Sb. Math., 213:7 (2022), 981–1003  isi  scopus 7
5. A. A. Onoprienko, “Topological models of propositional logic of problems and propositions”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2022, no. 5,  25–30  mathnet  mathscinet  zmath  elib; Moscow University Mathematics Bulletin, 77:5 (2022), 236–241 5
2021
6. A. A. Onoprienko, “Kripke type semantics for the joint logic of problems and propositions”, Intelligent systems. Theory and applications, 25:4 (2021),  333–336  mathnet
2020
7. A. A. Onoprienko, “Kripke semantics for the logic of problems and propositions”, Mat. Sb., 211:5 (2020),  98–125  mathnet  mathscinet  elib; Sb. Math., 211:5 (2020), 709–732  isi  scopus 7
2015
8. L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Mat. Sb., 206:9 (2015),  3–20  mathnet  mathscinet  zmath  elib; Sb. Math., 206:9 (2015), 1173–1190  isi  elib  scopus 4

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

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
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024