Dynamic context logic

Authors
Publication date 2009
Host editors
  • X. He
  • J. Horty
  • E. Pacuit
Book title Logic, Rationality, and Interaction
Book subtitle second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings
ISBN
  • 9783642048920
ISBN (electronic)
  • 9783642048937
Series Lecture Notes in Computer Science
Event Second International Workshop on Logic, Rationality and Interaction (LORI-II), Chongqing, China
Pages (from-to) 15-26
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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 show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-642-04893-7_2
Permalink to this page
Back