Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Dvorkin, Lev Veniaminovich
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 18.01.2001

https://www.mathnet.ru/eng/person199511
List of publications on Google Scholar
ISTINA https://istina.msu.ru/workers/698595038
https://orcid.org/0009-0001-3117-1318
https://www.webofscience.com/wos/author/record/IQW-5328-2023
https://www.scopus.com/authid/detail.url?authorId=59206412800

Publications in Math-Net.Ru Citations
2024
1. L. V. Dvorkin, “On provability logics of Niebergall arithmetic”, Izv. RAN. Ser. Mat., 88:3 (2024),  61–100  mathnet  mathscinet  zmath; Izv. Math., 88:3 (2024), 468–505  scopus

Presentations in Math-Net.Ru
1. On interpretations of normal modal logics and additive formulas in S4, S5, Grz, K and GL
L. V. Dvorkin
Seminars "Proof Theory" and "Logic Online Seminar"
October 7, 2024 16:00   
2. On the finite model property of a class of pretransitive logics (continuation)
L. V. Dvorkin
Seminars "Proof Theory" and "Logic Online Seminar"
February 19, 2024 18:30   
3. On the finite model property of a class of pretransitive logics
L. V. Dvorkin
Seminars "Proof Theory" and "Logic Online Seminar"
February 12, 2024 18:30   
4. On the provability logic of Niebergall's arithmetic
Lev Dvorkin
Seminars "Proof Theory" and "Logic Online Seminar"
September 26, 2022 18:30   

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025