Доклад Ивана Пыльцына на ESSLLI 2023
Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).
Иван Пыльцын о своем исследовании
Игровая семантика позволяет нам взглянуть на базовые логические концепции с другой стороны. Этот подход к логике имеет длинную историю, существует множество различных типов игр. Игра Межирова была представлена в 2006 году Ильёй Межировым для интуиционистской пропозициональной логики и для модальной логики Гжегорчика. Далее эта идея была развита во многих различных направлениях. Мне показался естественным вопрос о естественных обобщениях этой игры до интуиционистской логики первого порядка.
Ссылка на страницу воркшопа и тезисы доклада Ивана Пыльцына.