(This blog post continues the introduction to the dynamic IF-THEN.) Several IF-THENs next to each other Let’s have a look at the following situation: IF A, THEN B IF A, THEN C If a conclusion B and, at the same time, a conclusion C can be drawn from a premise A, then which conclusion is drawn first? Static and dynamic logic In terms of classical logic, this does not matter since A, B and C always exist simultaneously in a static system and do not change their truthfulness. Therefore it does not matter whether one or the other conclusion is