https://deepai.org/publication/a-simplicial-complex-model-of-dynamic-epistemic-logic-for-fault-tolerant-distributed-computing
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing |...
Mar 31, 2017 - 03/31/17 - The usual epistemic S5 model for multi-agent systems is a Kripke graph, whose edges are labeled with the agents that do not distin...
a simplicial complexdynamic epistemic logic