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
https://github.com/jameshales/phd-thesis/
GitHub - jameshales/phd-thesis: My doctoral thesis in dynamic epistemic logic, titled "Quantifying...
My doctoral thesis in dynamic epistemic logic, titled "Quantifying over epistemic updates". - jameshales/phd-thesis
dynamic epistemic logicphd thesis