Название спецкурса на русском языке
Введение в модальную логику
Перевод названия курса на английский язык
Introduction to modal logic
Авторы курса
Золин Е.Е.
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
6 курс
Магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полугодовой, осень
Тип курса
Спецкурс по выбору кафедры
Аннотация
Курс содержит базовые понятия и результаты модальной логики: семантика Крипке, полнота методом канонической модели; сохранение модальных формул при операциях над шкалами; конечные канонические модели как средство доказательства полноты логик относительно конечных шкал; связь бисимуляции и модальной эквивалентности.

В осеннем семестре 2021 года планируется рассмотреть как стандартные модальные логики, так и расширенные — в языке с операторами обратной модальности, универсальной модальности, градуированных модальностей, модальностей пересечения, транзитивного замыкания; (предположительно) модальные логики в инфинитарном языке и т.п.

От слушателей предполагается знакомство с базовыми результатами математической логики в объеме курса "Введение в математическую логику и теорию алгоритмов" (2-й курс мехмата).
Как проходит
Дистанционно (Zoom), обычно по пятницам в 18:30; начало курса осенью 2021 года будет объявлено позже.
Учебный год
2021/22
Дополнительная информация

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

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