https://123dok.net/document/nzw0oxly-judgment-aggregation-in-dynamic-logic-of-propositional-assignments.html