Приглашенный докладчик: Одинцов Сергей Павлович (д-р физ.-мат. наук, ведущий научный сотрудник Института математики им. С.Л. Соболева, Новосибирск) - «О конструктивности теоретико-игровой семантики».

Аннотация доклада:
Будет показано, что семантика реализуемости по Нельсону, ограниченная на язык без импликации, является эффективной версией теоретико-игровой семантики для логики первого порядка. Далее, будут определены IF-логика Я. Хинтикки, получающаяся из логики первого порядка добавлением независимых кванторов, игровая семантика и трамп-семантика для данной логики. Будет установлено, что эффективизация трамп-семантики приводит к семантики реализуемости, которая является консервативным расширением (в специально определенном строгом смысле) реализуемости по Нельсону.

Доклад состоялся в рамках заседания "Красноярского алгебраического семинара".