Allgemeine Dynamische Logik

The concept of logic generally describes sober reasoning and beyond that its doctrine, which is also described as the doctrine of thought. Classical logic plays a central role in many faculties and has established itself as a separate subfield, especially in mathematics, computer science and philosophy.
The General Dynamic Logic contains and connects these known logic methods with each other. The special feature of this logic model is the extension by dynamics and blurring. In the application this means that the user has the possibility to formulate premises and conclusions dynamically or blurred and therefore does not have to commit to a concrete value. Furthermore, the concept of axioms plays a fundamental role in general dynamic logic. Axioms are fixed rules. Within the scope of the application it is possible to dynamically represent the axiomatic structure as well as the arrangement of the axioms.
A system based on the concept of General Dynamic Logic is able to react to changed input values or data and can also dynamically adapt the decision calculation to different conditions. The software application DyLogos is such a system. Further information can also be found on this page.