structure for all areas    |     expand these ideas

4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics

[logic that allows for changes in objects and properties]

1 idea
15381 Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman]