Модальные формулы Янкова - Файна и их применения — Евгений Золин (29.04.2021)

В докладе речь пойдет о модальных «характеристических» формулах Янкова – Файна. Будет рассказано об их основных свойствах и применениях к таким вопросам, как характеризация конечной порожденной точкой шкалы Крипке, алгоритмическая разрешимость проблемы равенства (и включения) логик двух конечных шкал, критерий модальной определимости класса конечных транзитивных шкал, эффективное построение аксиоматики табличной логики, характеризация Блока конечных шкал, чьи логики дают расщепление решетки всех логик.

Докладчик:
Евгений Евгеньевич Золин, к.ф.-м.н., с.н.с.
Кафедра математической логики и теории алгоритмов.
Механико-математический факультет МГУ им. Ломоносова.
______________________________

Совместные заседания научных семинаров
«Логические проблемы информатики»
(руководители: проф. С.Н.Артёмов, чл.-корр. РАН Л.Д.Беклемишев,
доц. В.Н.Крупский, проф. М.Р.Пентус, доц. Т.Л.Яворская)
и «Модальная и алгебраическая логика»
(руководители: проф. М.Р.Пентус,
проф. В.Б.Шехтман, к.ф.-м.н. И.Б.Шапировский)
проходят по четвергам в 17:45.

Веб-страница (и ссылка для подключения):