ICLA 2011: Logic and Its Applications pp 189-203 | Cite as

Reasoning about Protocol Change and Knowledge

  • Yanjing Wang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6521)

Abstract

In social interactions, protocols govern our behaviour and assign meaning to actions. In this paper, we investigate the dynamics of protocols and their epistemic effects. We develop two logics, inspired by Propositional Dynamic Logic (PDL) and Public Announcement Logic (PAL), for reasoning about protocol change and knowledge updates. We show that these two logics can be translated back to the standard PDL and PAL respectively.

Keywords

Regular Expression Current Protocol Atomic Action Kripke Model Epistemic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aucher, G.: BMS revisited. In: Proceedings of TARK 2009, pp. 24–33 (2009)Google Scholar
  2. 2.
    Benevides, M., Schechter, L.: A propositional dynamic logic for CCS programs. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol. 5110, pp. 83–97. Springer, Heidelberg (2008)Google Scholar
  3. 3.
    Bonnay, D., Égré, P.: Inexact knowledge with introspection. Journal of Philosophical Logic 38(2), 179–227 (2009)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Brzozowski, J.A.: Derivatives of regular expressions. Journal of the ACM 11(4), 481–494 (1964)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, Boca Raton (1971)MATHGoogle Scholar
  6. 6.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Knowledge-based programs. Distributed Computing 10(4), 199–225 (1997)CrossRefGoogle Scholar
  7. 7.
    Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18(2), 194–211 (1979)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Gabbay, D.M.: A theory of hypermodal logics: Mode shifting in modal logic. Journal of Philosophical Logic 31(3), 211–243 (2002)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6(2), 147–169 (1997)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Halpern, J.Y., Fagin, R.: Modelling knowledge and action in distributed systems. Distributed Computing 3(4), 159–177 (1989)CrossRefMATHGoogle Scholar
  11. 11.
    Harel, D., Kozen, D., Parikh, R.: Process logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences 25(2), 144–170 (1982)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Hoshi, T.: Epistemic Dynamics and Protocol Information. PhD thesis, Stanford (2009)Google Scholar
  13. 13.
    Hoshi, T., Yap, A.: Dynamic epistemic logic with branching temporal structures. Synthese 169(2), 259–281 (2009)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Kozen, D.: A completeness theorem for kleene algebras and the algebra of regular events. In: Proceedings of LiCS 1991, pp. 214–225 (1991)Google Scholar
  15. 15.
    Kozen, D.: Automata on guarded strings and applications. Matématica Contemporânea 24, 117–139 (2003)MathSciNetMATHGoogle Scholar
  16. 16.
    Lutz, C.: Complexity and succinctness of public announcement logic. In: Proceedings of AAMAS 2006, pp. 137–143. ACM, New York (2006)Google Scholar
  17. 17.
    Meyer, J.J.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1), 109–136 (1987)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language and Information 12(4) (2003)Google Scholar
  19. 19.
    Paul, S., Ramanujam, R., Simon, S.: Stability under strategy switching. In: Ambos-Spies, K., Löwe, B., Merkle, W. (eds.) CiE 2009. LNCS, vol. 5635, pp. 389–398. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  20. 20.
    Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)Google Scholar
  21. 21.
    Pratt, V.R.: Process logic. In: Proceedings of POPL 1979, pp. 93–100. ACM, New York (1979)Google Scholar
  22. 22.
    van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. Journal of Philosophical Logic 38(5), 491–526 (2009)MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    Wang, Y.: Indexed semantics and its application in modelling interactive unawareness. Master’s thesis, University of Amsterdam (2006)Google Scholar
  25. 25.
    Wang, Y.: Epistemic Modelling and Protocol Dynamics. PhD thesis, University of Amsterdam (2010)Google Scholar
  26. 26.
    Wang, Y., Kuppusamy, L., van Eijck, J.: Verifying epistemic protocols under common knowledge. In: Proceedings of TARK 2009, pp. 257–266. ACM, New York (2009)Google Scholar
  27. 27.
    Wang, Y., Sietsma, F., van Eijck, J.: Logic of information flow on communication channels (extended abstract). In: van der Hoek, Kaminka, Lespérance, Luck, Sen (eds.) Proceedings of AAMAS (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Yanjing Wang
    • 1
  1. 1.Department of PhilosophyPeking UniversityBeijingChina

Personalised recommendations