Ideas from 'Dynamic Logics' by Sara L. Uckelman , by Theme Structure
[found in 'Key Terms in Logic' (ed/tr Williamson,J/Russo,F) [Continuum 2010,978-1-8470-6114-0]].
Click on the Idea Number for the full details |
back to texts
expand this idea
4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics
Dyamic logics model changes between classical states, in action, belief, and computing