Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Святловский Михаил Владимирович

В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 1
Лекций и докладов: 3

Статистика просмотров:
Эта страница:256
Страницы публикаций:570
Полные тексты:161
Списки литературы:33

https://www.mathnet.ru/rus/person125587
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2018
1. М. В. Святловский, “Аксиоматизация и полиномиальная разрешимость строго позитивных фрагментов некоторых модальных логик”, Матем. заметки, 103:6 (2018),  884–901  mathnet  mathscinet  elib; M. V. Svyatlovskiy, “Axiomatization and Polynomial Solvability of Strictly Positive Fragments of Certain Modal Logics”, Math. Notes, 103:6 (2018), 952–967  isi  scopus 3

2022
2. Е. Бакаев, Н. Белухов, И. Богданов, Д. Бродский, А. Глебов, А. Грибалко, С. Дориченко, М. Евдокимов, А. Заславский, П. Кожевников, Э. Лю, М. Малкин, А. Марданов, Л. Медников, В. Ретинский, М. Святловский, А. Тертерян, А. Толпыго, Б. Френкин, И. Фролов, А. Шень, “ХLIII Турнир городов. Задачи весеннего тура”, Квант, 2022, № 5,  49–51  mathnet
3. Е. Бакаев, А. Грибалко, М. Дидин, С. Дориченко, М. Евдокимов, А. Заславский, П. Кожевников, М. Малкин, Л. Медников, В. Ретинский, Е. Рябов, М. Святловский, А. Тертерян, А. Толпыго, Б. Френкин, И. Фролов, Е. Хинко, А. Шаповалов, “XLIII Турнир городов. Задачи осеннего тура”, Квант, 2022, № 1,  53–54  mathnet

Доклады и лекции в базе данных 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   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024