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.
All documents in ORBilu are protected by a user license.