Scientific congresses, symposiums and conference proceedings : Paper published in a book
Physical, chemical, mathematical & earth Sciences : Multidisciplinary, general & others Engineering, computing & technology : Multidisciplinary, general & others
http://hdl.handle.net/10993/16093
BMS revisited
English
Aucher, Guillaume[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
ACM
24-33
No
978-1-60558-560-4
New York
NY
TARK
6/08/09-8/08/09
Stanford
CA
[en] The insight of the BMS logical framework (proposed by Baltag, Moss and Solecki) is to represent how an event is perceived by several agents very similarly to the way one represents how a static situation is perceived by them: by means of a Kripke model. There are however some differences between the definitions of an epistemic model (representing the static situation) and an event model. In this paper we restore the symmetry. The resulting logical framework allows, unlike any other one, to express statements about ongoing events and to model the fact that our perception of events (and not only of the static situation) can also be updated due to other events. We axiomatize it and prove its decidability. Finally, we show that it embeds the BMS one if we add common belief operators.
