Single Idea 15381

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics]

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]