Reference : Dynamic context logic and its application to norm change
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Physical, chemical, mathematical & earth Sciences : Mathematics
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/16083
Dynamic context logic and its application to norm change
English
Aucher, Guillaume [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Grossi, Davide [> >]
Herzig, Andreas [> >]
Lorini, Emiliano [> >]
3-Nov-2009
Proceedings of Dagstuhl Seminar
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
09121
No
1862-4405
Dagstuhl
Germany
Normative Multi-Agent Systems
15.03. - 20.03.2009
[en] 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.
http://hdl.handle.net/10993/16083
http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=1900
Extended abstract

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.