Logics of communication and change

[1]  S C Kleene,et al.  Representation of Events in Nerve Nets and Finite Automata , 1951 .

[2]  Rohit Parikh,et al.  The Completeness of Propositional Dynamic Logic , 1978, MFCS.

[3]  Richard E. Ladner,et al.  Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[4]  K. Segerberg A completeness theorem in the modal logic of programs , 1982 .

[5]  Rohit Parikh,et al.  Logics of Knowledge, Games and Dynamic Logic , 1984, FSTTCS.

[6]  Heikki Tuominen Translations from Epistemic into Dynamic Logic , 1988, ECAI.

[7]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

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

[9]  Ron van der Meyden,et al.  Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall , 1996, PRICAI Workshop on Intelligent Agent Systems.

[10]  Wayne Wobcke,et al.  Intelligent Agent Systems Theoretical and Practical Issues , 1996, Lecture Notes in Computer Science.

[11]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

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

[13]  J. Gerbrandy Bisimulations on Planet Kripke , 1999 .

[14]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[15]  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.

[16]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[17]  J. Benthem One is a Lonely Number: on the logic of communication , 2003 .

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

[19]  Johan van Benthem,et al.  Reduction axioms for epistemic actions , 2004 .

[20]  Jan van Eijck,et al.  Dynamic epistemic modelling , 2004 .

[21]  Jan van Eijck,et al.  Reducing Dynamic Epistemic Logic to PDL by Program Transformation , 2004 .

[22]  Ji Ruan,et al.  Exploring the Update Universe , 2004 .

[23]  Lawrence S. Moss,et al.  The Undecidability of Iterated Modal Relativization , 2005, Stud Logica.

[24]  Carsten Lutz,et al.  Complexity and succinctness of public announcement logic , 2006, AAMAS '06.

[25]  Johan van Benthem,et al.  Open Problems in Logical Dynamics , 2006 .

[26]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.