https://123dok.net/document/wyeo15rq-dynamic-logic-framework-abstract-argumentation-adding-removing-arguments.html