• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

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

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

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