A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
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 show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories. 1 The terms promulgation and derogation are borrowed from the first paper addressing norm dynamics by formal means, that is,  .doi:10.1007/978-3-642-04893-7_2 fatcat:rhhuiteh3zeupotsgbg5uxkvhy