Курс знакомит слушателей с одним из базовых разделов современной логики — исследованием неклассических логик. Среди всего разнообразия таких систем в курсе рассматриваются пропозициональная интуиционистская логика и наиболее известные модальные логики (среди них минимальная нормальная логика $\mathsf{K}$ и её расширения $\mathsf{K4}$, $\mathsf{S4}$, $\mathsf{S5}$, $\mathsf{GL}$ и другие). В качестве инструментов для изучения этих логик рассматриваются семантика Крипке, канонические модели, бисимуляция, $p$-морфизм, фильтрация и другие. Доказываются теоремы о полноте, финитной аппроксимируемости и разрешимости, а также определяется гёделевский перевод интуиционистской логики в модальную логику $\mathsf{S4}$. Если позволит время, мы рассмотрим модальные логики с модальностями знания (эпистемические логики) и временными модальностями.

Расписание на весенний семестр 2022/2023 учебного года:

Время занятий: понедельник 14:45 – 16:10

Первое занятие: 6 февраля

Лектор
Кудинов Андрей Валерьевич

Организации
Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)