Skip to Main content Skip to Navigation
Conference papers

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
IRIT - Institut de recherche en informatique de Toulouse
4 CNRS - Centre National de la Recherche Scientifique
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
https://hal.inria.fr/inria-00556156
Contributor : Guillaume Aucher Connect in order to contact the contributor
Submitted on : Sunday, September 8, 2013 - 7:45:38 PM
Last modification on : Friday, January 14, 2022 - 4:41:44 PM
Long-term archiving on: : Monday, December 9, 2013 - 2:20:12 AM

File

Vignette du document
10.1007-978-3-642-04893-7_2.pd...
Publisher files allowed on an open archive

Identifiers

Collections

CNRS | UNIV-TLSE2 | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-LILAC | IRIT-IA | IRIT-CNRS

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data