green numbers give full details.     |    back to list of philosophers     |     unexpand these ideas

Ideas of Sara L. Uckelman, by Text

[Dutch, fl. 2010, At the Institute of Logic, Amsterdam.]

2010 Dynamic Logics
p.47 Dyamic logics model changes between classical states, in action, belief, and computing
     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.
     From: Sara L. Uckelman (Dynamic Logics [2010])
     A reaction: [compressed]