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.
Type de document :
Communication dans un congrès
LORI - Logic, Rationality, and Interaction, Second International Workshop - 2009, 2009, Chongqing, China. 2009
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00556156
Contributeur : Guillaume Aucher <>
Soumis le : dimanche 8 septembre 2013 - 19:45:38
Dernière modification le : jeudi 11 janvier 2018 - 06:21:34
Document(s) archivé(s) le : lundi 9 décembre 2013 - 02:20:12

Fichier

10.1007-978-3-642-04893-7_2.pd...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00556156, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

134

Téléchargements de fichiers

111