#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). В этот раз мы точно будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 10.10.2025 в 16:20

Докладчик: Кирилл Александрóв

Название: Введение в модальную логику

Аннотация

Мы продолжим изучение неклассических логик, а именно перейдём к модальной логике, которая была упомянута в конце прошлого заседания (https://www.youtube.com/watch?v=LNIV5WAw-WY). Модальная логика отличается от классической тем, что к возможным вариантам построения формулы помимо стандартных (конъюнкция, дизъюнкция, импликация, отрицание) добавляется "модальность", которую в зависимости от контекста можно понимать по-разному: "необходимо", "доказуемо", "известно" и др. Обсудим модальное исчисление, семантику Крипке для модальных логик, теорему о полноте, рассмотрим различные примеры модальных логик, взаимосвязь модальных формул и свойств шкал Крипке, которые они задают. Если останется время, обсудим вопросы алгоритмической сложности для модальных логик.

➰ ВК