https://123dok.org/document/oy8gmp5z-decidable-extension-hennessy-milner-logic-spatial-operators.html