Статья Виталия Долгорукова и Максима Гладышева

Статья Виталия Долгорукова и Максима Гладышева "Dynamic Epistemic Logic for Budget-Constrained Agents" опубликована в сборнике "Dynamic Logic. New Trends and Applications".

В сборнике представлены избранные доклады, представленные на конференции "4th International Workshop, DaLí 2022". В статье Виталия Долгорукова и Максима Гладышева предлагается новая динамическая эпистемическая логика, позволяющая моделировать публичные объявления агентов относительно ресурсно-зависимого знания.