https://123dok.org/document/wyev0n4z-dynamic-epistemic-spatial-logic.html