Reference : Dynamic context logic
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Physical, chemical, mathematical & earth Sciences : Mathematics
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/16082
Dynamic context logic
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 []
2009
Logic, Rationality, and Interaction
Springer Verlag
Lecture Notes in Computer Science, 5834
15–26
No
978-3-642-04892-0
Proceedings of Logic, Rationality and Interaction (LORI 2009)
October 8-11, 2009
Chongqing
China
[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 show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories.
http://hdl.handle.net/10993/16082
10.1007/978-3-642-04893-7_2

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.