Название спецкурса на русском языке
Модели неклассических логик
Перевод названия курса на английский язык
Models of non-classical logics
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
6 курс
Магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
Продвинутый курс по модальной логики. Некоторые темы: модально насыщенные и модально компактные модели; конечные и бесконечные бисимуляционные игры; интерполяционное свойство Крейга; ультрарасширения моделей и шкал; критерии модальной определимости классов (отмеченных) моделей; теорема Гольдблатта-Томасона - критерий модальной определимости элементарных классов шкал; теорема ван Бентема о бисимуляционной характеризации ML внутри FOL; теорема Файна о каноничности; теорема ван Бентема о дихотомии.
Дополнительная информация
дистанционно (Zoom); ezolin@yandex.ru