Document Type
Conference Proceeding
Publication Date
2013
Abstract
"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."
Recommended Citation
Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano: Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. TACL 2013: 85-87
Copyright
Association for Computational Linguistics
Included in
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
Comments
This paper was originally presented at Topology, Algebra and Categories in Logic (TACL) in 2013.