«Динамическая эпистемическая логика c групповыми операторами: выразительность и полнота», Долгоруков В. В. (НИУ ВШЭ)