Название спецкурса на русском языке
Методы модальной логики
Перевод названия курса на английский язык
Methods of modal logic
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Тип курса
Спецкурс по выбору кафедры
Учебный год
2022/23
День недели
четверг
Время
16:45-18:20
Формат проведения
Дистанционно
Аудитория
[Дистанционно]
Аннотация
В курсе изучаются важнейшие понятия и результаты модальной логики. Некоторые разделы курса: синтаксис и семантика Крипке модальных формул; операции над шкалами и моделями; теорема о полноте; каноническая модель; канонические логики и формулы; полимодальная логика; теорема Макинсона; критерий Чагрова табличности; конечная аксиоматизируемость табличных логик; характеристические формулы Янкова-Файна; критерий ван Бентема модальной определимости; теорема об изоморфизме шкал; разрешимость и финитная аппроксимируемость логик; фильтрация; грамматические модальные логики; бисимуляция; бисимуляционные игры.