| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Dynamic context logic
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.
Cited literature [20 references]
https://hal.inria.fr/inria-00556156
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 8, 2013 - 7:45:38 PM
Last modification on : Sunday, June 14, 2020 - 3:28:42 AM
Document(s) archivé(s) le : Monday, December 9, 2013 - 2:20:12 AM
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 8, 2013 - 7:45:38 PM
Last modification on : Sunday, June 14, 2020 - 3:28:42 AM
Document(s) archivé(s) le : Monday, December 9, 2013 - 2:20:12 AM
File
10.1007-978-3-642-04893-7_2.pd...
Publisher files allowed on an open archive