BMS revisited

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.

[1]  David Harel,et al.  Computation Paths Logic: An Expressive, yet Elementary, Process Logic , 1999, Ann. Pure Appl. Log..

[2]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[3]  David Harel,et al.  Process logic: Expressiveness, decidability, completeness , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[4]  Rohit Parikh.  A decidability result for a second order process logic , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

[5]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[6]  Vaughan R. Pratt,et al.  Process logic: preliminary report , 1979, POPL.

[7]  Wiebe van der Hoek,et al.  Dynamic epistemic logic with assignment , 2005, AAMAS '05.

[8]  Lauren Stclaire.  S.I.N. , 2010 .

[9]  Hirokazu Nishimura.  Descriptively complete process logic , 2004, Acta Informatica.

[10]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[11]  Barteld Kooi,et al.  Dynamic Epistemic Logic , 2013 .

[12]  Vaughan R. Pratt,et al.  Semantical consideration on floyo-hoare logic , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[13]  J. Benthem,et al.  Logics of communication and change , 2006 .

[14]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[15]  Ben Rodenhauser,et al.  Updating Epistemic Uncertainty —- an essay in the logic of information change , 2001 .

[16]  Ben Rodenhäuser,et al.  Updating Epistemic Uncertainty — – an essay in the logic of information change , 2001 .

[17]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[18]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[19]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[20]  David Peleg,et al.  Process Logic with Regular Formulas , 1985, Theor. Comput. Sci..

[21]  A. Baltag,et al.  Logics for epistemic programs , 2004 .

[22]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .