Current Total Ideas:
structure for 'Formal Logic'
alphabetical list of themes
expand these ideas
4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics
[logic that allows for changes in objects and properties]
Dyamic logics model changes between classical states, in action, belief, and computing