University of Luxembourg [Luxembourg] (Campus Kirchberg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Campus de Limpertsberg
162a, avenue de la Faïencerie
L-1511 Luxembourg
Campus de Belval
2, avenue de l'Université
L-4365 Esch-sur-Alzette - Luxembourg)
Abstract : 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.
https://hal.inria.fr/inria-00556156
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 8, 2013 - 7:45:38 PM Last modification on : Thursday, December 17, 2020 - 2:18:02 PM Long-term archiving on: : Monday, December 9, 2013 - 2:20:12 AM