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

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

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

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

Докладчик:
Иван Пыльцын

Название доклада:
Игровая семантика Межирова для логики Гёделя-Лёба

Аннотация:
Игровая семантика Межирова была изложена Ильёй Межировым в 2006 году для модальной логики Гжегорчика (Grz) и интуиционистской пропозициональной логики (Int), представляя из себя независимый (в частности, не опирающийся на модели Крипке) семантический подход к описанию этих логик.
Одним из естественных направлений развития игровой семантики является её перенос на другие логики. Например, в 2021 году Александра Павлова построила аналоги семантики Межирова для минимальной пропозициональной логики (MPC), логики функциональных шкал (KD!) и логики сериальных шкал (KD).
На докладе я представлю вариант игры Межирова для модальной логики Гёделя-Лёба (GL).