- Dynamic context logic and its application to norm change
- Dagstuhl Seminar Proceedings
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and use it to develop an axiomatic and semantic analysis of norm change in normative systems. The proposed analysis advances the state of the art by providing a formal semantics of norm-change which, at the same time, takes into account several different aspects of the phenomenon, such as permission and obligation dynamics, as well as the dynamics of classificatory rules.
- Proceedings title: Normative Multi-Agent Systems
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Place of publication: Wadern
Editors: G. Boella, P. Noriega, G. Pigozzi, H. Verhagen
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.