Название спецкурса на английском языке
Introduction to modal logic
Аннотация
Курс содержит базовые понятия и результаты модальной логики: семантика Крипке, полнота методом канонической модели; сохранение модальных формул при операциях над шкалами; конечные канонические модели как средство доказательства полноты логик относительно конечных шкал; связь бисимуляции и модальной эквивалентности.
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2020/21
Целевая аудитория
2 курс
Дополнительная информация
дистанционно (Zoom); ezolin@yandex.ru
Аудитория
Неприменимо