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

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

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

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

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

Название доклада:
Модальная логика: базовые сведения (продолжение)

Аннотация:
В первой части мы определили семантику Крипке и аксиоматику модальной логики. Поговорили про соответстветствие формул и свойств шкал Крипке. А также определили p-морфизм и доказали невыразимость некоторых свойств модальными формулами.
Во второй части мы поговорим про каноническую модель, полноту модальных логик, разрешимость и финитную аппроксимируемость модальных логик.