The beta version of DROPS 2 is now publicly available! Check this page out at DROPS 2 now!


License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.09121.14
URN: urn:nbn:de:0030-drops-19009
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2009/1900/
Go to the corresponding Portal

Aucher, Guillaume ; Grossi, Davide ; Herzig, Andreas ; Lorini, Emiliano

Dynamic Context Logic and its Application to Norm

pdf-format:
09121.AucherGuillaume.Paper.1900.pdf (0.2 MB)

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 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.

BibTeX - Entry

@InProceedings{aucher_et_al:DagSemProc.09121.14,
  author =	{Aucher, Guillaume and Grossi, Davide and Herzig, Andreas and Lorini, Emiliano},
  title =	{{Dynamic Context Logic and its Application to Norm}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2009/1900},
  URN =		{urn:nbn:de:0030-drops-19009},
  doi =		{10.4230/DagSemProc.09121.14},
  annote =	{Keywords: Context logic, norm change, deontic logic}
}

Keywords: Context logic, norm change, deontic logic
Collection: 09121 - Normative Multi-Agent Systems
Issue Date: 2009
Date of publication: 11.03.2009

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI