Svyatlovskiy Mikhail Vladimirovich

Presentations in Math-Net.Ru

1. Strictly positive fragments of K4 and its extensions
   M. V. Svyatlovskiy
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 18, 2021 18:30   
2. On axiomatization and polytime decidability of strictly positive fragments of some modal logics
   M. Svyatlovsky
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 19, 2017 15:15