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.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/inria-00556156
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 8, 2013 - 7:45:38 PM
Last modification on : Thursday, October 17, 2019 - 8:56:56 AM
Long-term archiving on : 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

Identifiers

  • HAL Id : inria-00556156, version 1

Citation

Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini. Dynamic context logic. LORI - Logic, Rationality, and Interaction, Second International Workshop - 2009, 2009, Chongqing, China. ⟨inria-00556156⟩

Share

Metrics

Record views

186

Files downloads

803