Dynamic context logic and its application to norm change - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Dynamic context logic and its application to norm change

Résumé

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 use it to develop an axiomatic and semantic analysis of norm change in normative systems. The proposed analysis advances the state of the art by providing a formal semantics of norm-change which, at the same time, takes into account several different aspects of the phenomenon, such as permission and obligation dynamics, as well as the dynamics of classificatory rules.
Fichier principal
Vignette du fichier
09121.AucherGuillaume.Paper.1900.pdf (179.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03526732 , version 1 (18-01-2022)

Identifiants

  • HAL Id : hal-03526732 , version 1

Citer

Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini. Dynamic context logic and its application to norm change. Dagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271. ⟨hal-03526732⟩
44 Consultations
19 Téléchargements

Partager

Gmail Facebook X LinkedIn More