Dynamic Context Logic and its Application to Norm

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



PDF
Thumbnail PDF

File

DagSemProc.09121.14.pdf
  • Filesize: 179 kB
  • 13 pages

Document Identifiers

Author Details

Guillaume Aucher
Davide Grossi
Andreas Herzig
Emiliano Lorini

Cite As Get BibTex

Guillaume Aucher, Davide Grossi, Andreas Herzig, and Emiliano Lorini. Dynamic Context Logic and its Application to Norm. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009) https://doi.org/10.4230/DagSemProc.09121.14

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.

Subject Classification

Keywords
  • Context logic
  • norm change
  • deontic logic

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail