RUS  ENG
Полная версия
СЕМИНАРЫ

Введение в неклассические логики
6 февраля–15 мая 2023 г., г. Москва

Просьба ко всем участникам, в том числе смотрящим видеозаписи,
зарегистрироваться по ссылке: https://forms.gle/mLZyHmyW5AULgonPA.


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


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

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

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



RSS: Ближайшие семинары

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

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




© МИАН, 2024