Кирилл Александров//Введение в модальную логику
Автор: Логика в Москве
Загружено: 2025-10-10
Просмотров: 103
НИС "Современные проблемы математической логики" в ВШЭ.Дата и время: 10.10.2025 в 16:20
Докладчик: Кирилл Александрóв
Название: Введение в модальную логику
Аннотация
Мы продолжим изучение неклассических логик, а именно перейдем к модальной логике, которая была упомянута в конце прошлого заседания. Модальная логика отличается от классической тем, что к возможным вариантам построения формулы помимо стандартных (конъюнкция, дизъюнкция, импликация, отрицание) добавляется "модальность", которую в зависимости от контекста можно понимать по-разному: "необходимо", "доказуемо", "известно" и др. Обсудим модальное исчисление, семантику Крипке для модальных логик, теорему о полноте, рассмотрим различные примеры модальных логик, взаимосвязь модальных формул и свойств шкал Крипке, которые они задают. Если останется время, обсудим вопросы алгоритмической сложности для модальных логик.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
