Шапировский Илья Борисович

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

1. Фильтрации некоторых предтранзитивных логик
   И. Б. Шапировский
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   22 апреля 2024 г. 18:30   
2. О финитной аппроксимируемости и сложности логик сумм шкал Крипке
   И. Б. Шапировский
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   24 мая 2021 г. 18:30   
3. Локально конечные модальные алгебры и фильтрации моделей Крипке
   И. Б. Шапировский
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   28 августа 2019 г. 17:00
4. Glivenko's theorem, finite height, and local finiteness
   И. Б. Шапировский
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   10 сентября 2018 г. 18:30
5. О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
   И. Б. Шапировский
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   10 июля 2017 г. 16:30
6. Лексикографические произведения и суммы модальных логик
   И. Б. Шапировский
   «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
   8 декабря 2015 г. 18:30
7. Об одном достаточном условии финитной аппроксимируемости модальных логик
   И. Б. Шапировский
   «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
   14 октября 2014 г. 18:30
8. Hamming metric and products of modal logics
   I. B. Shapirovskii
   Симпозиум по логике и вычислимости «Logic and Computation Day»
   7 июня 2013 г. 16:15
9. Модальные логики отношений, индуцированных расстоянием Хэмминга
   И. Б. Шапировский
   «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
   12 марта 2013 г. 18:30
10. Simulation of two dimensions in unimodal logics
    Ilya Shapirovsky
    Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
    24 августа 2010 г. 15:35