https://9dok.net/document/z3d26jr8-decidable-multi-agent-logic-reasoning-actions-instruments-norms.html