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

Материалы, видеозаписи, слайды, конспекты:
http://logic.math.msu.ru/staff/zolin/ml/

Контакты:
http://logic.math.msu.ru/staff/zolin/