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.