О приложениях эпистемической логики в компьютерных науках

Эпистемическая логика зародилась внутри философии, однако в последнее время она находит многочисленные приложения и в компьютерных науках как инструмент моделирования знаний и убеждений агентов. В частности, аппарат эпистемической логики успешно используется в таких направлениях исследований, как мультиагентные системы, эпистемическое планирование, верификация протоколов (криптографических, блокчейн, gossip и др.), проектирование баз данных, прикладные формальные онтологии и др. Мы поговорим о различных вариантах эпистемической логики, а также рассмотрим некоторые приложения этих логик в CS.