Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.
фото Елены Поповой
Страница воркшопа «Semantical and Computational Aspects of Non-Classical Logics» на портале Math-Net.Ru., где выложены видео и аннотации докладов.
Виталий Долгоруков выступил с докладом «Dynamic epistemic logic for budget-constrained agents».
Иван Пыльцын представил доклад «Mezhirov's game for intuitionistic logic and its variations».
Елена Попова выступила с докладом «Temporal epistemic logic for reasoning with delay in awareness».
