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