Доклад Михаила Рыбакова на Всемирном дне логики в Красноярске

Михаил Рыбаков выступил с докладом «Волшебство взаимодействия: темпоральные полимодальные предикатные логики для мультиагентных систем и немножко философии. Староновогодний доклад, или сказка в двух частях».

Всемирный день логики, который отмечается 14 января, был поводом для проведения различных мероприятий, посвящённых логике. Одним из них является конференция в Красноярске — Ежегодный Красноярский логический семинар (воркшоп), приуроченный к Восьмому Всемирному дню логики под эгидой ЮНЕСКО. Кроме того, в России 14 января отмечается Старый Новый год.

14 января 2026 года М. Рыбаков сделал доклад в Красноярске, подготовленный ранее с Е.Котиковой для конференции ЛАРА-2014 (LARA-2014), на котором по техническим причинам не удалось показать слайды в том виде, как они предполагались. Эти слайды и сам доклад составили основу доклада в День логики (и в день Старого нового года), где были представлены результаты, имеющиеся к 2014 году, их обсуждения, а также комментарии о том, какие новые знания в соответствующей области были получены к началу 2026 года. Шуточно-праздничное оформление слайдов сочеталось с обсуждением важных вопросов логики — выразимости, семантической полноты, рекурсивной аксиоматизируемости, разрешимости.