Иван Пыльцын//Игровая семантика Межирова для логики Гёделя-Лёба

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