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

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

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

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

Докладчик: Кудинов Андрей

Название доклада:
Модальная логика: базовые сведения

Аннотация:
В докладе будет дано введение в модальную логику высказываний. В классической логике истинность формулы рассматривается не только относительно заданного набора истинностных значений, в модальной логике рассматриваются различные состояния или «возможные миры», в каждом из которых значения высказываний могут отличаться. Это позволяет формализовать рассуждения о необходимости и возможности, доказуемости, знании агентов, времени, переходах между состояниями и др. Благодаря этому модальная логика находит свое применение и в математике, и в философии, и в компьютерных науках.

Мы расскажем про семантику Крипке, которая чаще всего используется для модальной логики. Сформулируем теорему о полноте для нее. Поговорим про разрешимость модальной логики, которая выгодно отличает ее от логики предикатов.

Модальная логика является одним из активно развивающимся направлением в математической логике, и имеет богатые связи с большим количеством других направлений. Поэтому она хорошо подходит для курсовых и дипломных работ.