https://123dok.net/document/y96r4k0j-dynamics-incomplete-inconsistent-information-applications-logic-algebra-coalgebra.html