Доклад Евгения Золина на объединенном семинаре "Модальная и алгебраическая логика" и "Логические методы в информатике"

29 апреля старший научный сотрудник МЛ ЛогЛинФФ Евгений Золин выступил с докладом "Модальные формулы Янкова – Файна и их применения" в рамках объединенного семинара "Модальная и алгебраическая логика" и "Логические методы в информатике" кафедры математической логики и теории алгоритмов МГУ.

Е. Е. Золин 

"Модальные формулы Янкова – Файна и их применения"

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