Full Idea
Dynamic logic gives versions of propositional, modal and predicate logics, in which the states are classical, but changes of assignments between states can be expressed, by modelling action, knowledge and belief change, and compute programs.
Gist of Idea
Dyamic logics model changes between classical states, in action, belief, and computing
Source
Sara L. Uckelman (Dynamic Logics [2010])
Book Reference
'Key Terms in Logic', ed/tr. Williamson,J/Russo,F [Continuum 2010], p.47
A Reaction
[compressed]