Common knowledge in update logics

Proceedings of the Tenth Conference on the Theoretical Aspects of Rationality and Knowledge

Volumn , Issue , 2005, Pages 253-261

  Van Benthem, Johan ^a,b   Van Eijck, Jan ^c   Kooi, Barteld ^d  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b STANFORD UNIVERSITY   (United States)

^c CWI   (Netherlands)

^d UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON KNOWLEDGE; EPISTEMIC LOGICS;

COMMUNICATION; DYNAMICS;

KNOWLEDGE ACQUISITION;

EID: 32144439934     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. A. Baltag and L. S. Moss. Logics for epistemic programs. Synthese, 139:165-224, 2004.
2. A. Baltag, L. S. Moss, and S. Solecki. The logic of public announcements, common knowledge, and private suspicions. Technical Report SEN-R9922, CWI, Amsterdam, 1999.
3. Jan van Eijck. Guarded actions. CWI, Amsterdam, www.cwi.nl:-/papers/04/ ga/, 2004.
4. Jan van Eijck. Reducing dynamic epistemic logic to PDL by program transformation. CWI, Amsterdam, www.cwi.nl:-/papers/04/delpdl/, 2004.
5. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning About Knowledge. MIT Press, Cambridge, Massachusetts, 1995.
6. J. Gerbrandy. Bisimulations on Planet Kripke. ILLC Dissertation Series, Amsterdam, 1999.
7. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. Foundations of Computing. MIT Press, Cambridge, Massachusetts, 2000.
8. B. Kooi and J. van Benthem. Reduction axioms for epistemic actions. In R. Schmidt, I Pratt-Hartmann, M. Reynolds, and H. Wansing, editors, AiML-2004: Advances in Modal Logic, number UMCS-04-9-1 in Technical Report Series, pages 197-211. University of Manchester, 2004.
9. D. Kozen and R. Parikh. An elementary proof of the completeness of PDL. Theoretical Computer Science, 14:113-118, 1981.
10. R. Parikh and R. Ramanujam. A knowledge based semantics of messages. Jornal of Logic, Language and Information, 12:453-467, 2003.
11. J. A. Plaza. Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, and Z. W. Ras, editors, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pages 201-216, 1989.
12. J. Ruan. Exploring the update universe. Master's thesis, ILLC, Amsterdam, 2004.
13. R. van der Meyden. Common knowledge and update in finite environments. Information and Computation, 140(2):115-157, 1998.