Введение в модальную логику

Курс содержит базовые понятия и результаты модальной логики: семантика Крипке, полнота методом канонической модели; сохранение модальных формул при операциях над шкалами; конечные канонические модели как средство доказательства полноты логик относительно конечных шкал; связь бисимуляции и модальной эквивалентности.

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

От слушателей предполагается знакомство с базовыми результатами математической логики в объеме курса "Введение в математическую логику и теорию алгоритмов" (2-й курс мехмата).