Dynamic context logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Dynamic context logic

(1) , (2) , (3, 4) , (3, 4)
1
2
3
4

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.
Fichier principal
Vignette du fichier
10.1007-978-3-642-04893-7_2.pdf (235.36 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00556156 , version 1 (08-09-2013)

Identifiers

Cite

Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini. Dynamic context logic. Second International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩. ⟨inria-00556156⟩
115 View
289 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More