Dvorkin Lev Veniaminovich

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