Reasoning about knowledge
Dynamic Logic
Process logic: preliminary report
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
The logic of public announcements, common knowledge, and private suspicions
The logic of public announcements, common knowledge, and private suspicions
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Logics of communication and change
Information and Computation
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
A decidability result for a second order process logic
SFCS '78 Proceedings of the 19th Annual Symposium on Foundations of Computer Science
Dynamic Epistemic Logic
Reasoning about protocol change and knowledge
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Hi-index | 0.00 |
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.