Document Type

Conference Proceeding

Publication Date



"Dynamic Logics (DLs) form a large family of nonclassical logics, and perhaps the one enjoying the widest range of applications. Indeed, they are designed to formalize change caused by actions of diverse nature: updates on the memory state of a computer, displacements of moving robots in an environment, measurements in models of quantum physics, belief revisions, knowledge updates, etc. In each of these areas, DL-formulas express properties of the model encoding the present state of affairs, as well as the pre- and post-conditions of a given action. Actions are semantically represented as transformations of one model into another, encoding the state of affairs after the action has taken place. DL-languages are expansions of classical (static) logic with dynamic operators, parametrized with actions; dynamic operators are modalities interpreted in terms of the transformation of models corresponding to their action-parameters."


This paper was originally presented at Topology, Algebra and Categories in Logic (TACL) in 2013.


Association for Computational Linguistics