Dynamic Context Logic

10 years 9 months ago
Dynamic Context Logic
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.
Guillaume Aucher, Davide Grossi, Andreas Herzig, E
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LORI
Authors Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
Comments (0)