Dynamic context logic

Guillaume Aucher (1) , Davide Grossi (2) , Andreas Herzig (3, 4) , Emiliano Lorini (3, 4)

1 University of Luxembourg [Luxembourg]
2 ILLC - Institute for Logic, Language and Computation
3 IRIT-LILaC - Logique, Interaction, Langue et Calcul
4 CNRS - Centre National de la Recherche Scientifique

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.

Domaines: Logique en informatique [cs.LO]; Intelligence artificielle [cs.AI]

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⟩