Название спецкурса на русском языке
Модальная логика
Перевод названия курса на английский язык
Modal logic
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Тип курса
Спецкурс по выбору кафедры
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
В курсе изучаются важнейшие понятия и результаты модальной логики. Некоторые разделы курса: синтаксис и семантика Крипке модальных формул; операции над шкалами и моделями; теорема о полноте; каноническая модель; канонические логики и формулы; полимодальная логика; теорема Макинсона; критерий Чагрова табличности; конечная аксиоматизируемость табличных логик; характеристические формулы Янкова-Файна; критерий ван Бентема модальной определимости; теорема об изоморфизме шкал; разрешимость и финитная аппроксимируемость логик; фильтрация; грамматические модальные логики; бисимуляция; бисимуляционные игры.
Дополнительная информация
дистанционно (Zoom); ezolin@yandex.ru