Святловский Михаил Владимирович

Доклады и лекции в базе данных Math-Net.Ru

1. Strictly positive fragments of K4 and its extensions
   M. V. Svyatlovskiy
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   18 октября 2021 г. 18:30   
2. О модальных напарниках K4
   М. В. Святловский
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   8 октября 2018 г. 18:30
3. On axiomatization and polytime decidability of strictly positive fragments of some modal logics
   M. Svyatlovsky
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   19 октября 2017 г. 15:15