Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
8 декабря 2023 г., г. Новосибирск, online
 


Game semantics for First-order Modal and Temporal Logics: State of the art and perspectives

I. O. Pyltsin

HSE University, Moscow
Дополнительные материалы:
Adobe PDF 151.9 Kb

Количество просмотров:
Эта страница:102
Материалы:8
Youtube:



Аннотация: Game semantics allows us to look at basic logical concepts from another side. This approach to logic has a long history, there are plenty of different types of games: provability games, semantic games, etc. And there is an interesting type of provability game called Mezhirov's game proposed by Iliya Mezhirov for intuitionistic logic of propositions and Grzegorczyk modal logic in 2006. Mezhirov's game semantics for intuitionistic logic is interesting because of its simplicity and strong connection with Kripke semantics and Kripke models. In this talk I will describe this game and present a possible generalization to intuitionistic logic of predicates QInt (to be more precise, to some extension of QInt).

Дополнительные материалы: step08dec23ivanpyltsyn.pdf (151.9 Kb)

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024