Skip to main content
SpringerLink
Log in

Reasoning about Protocol Change and Knowledge

  • Conference paper
Logic and Its Applications (ICLA 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6521))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aucher, G.: BMS revisited. In: Proceedings of TARK 2009, pp. 24–33 (2009)

    Google Scholar 

  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. Bonnay, D., Égré, P.: Inexact knowledge with introspection. Journal of Philosophical Logic 38(2), 179–227 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  4. Brzozowski, J.A.: Derivatives of regular expressions. Journal of the ACM 11(4), 481–494 (1964)

    Article  MathSciNet  MATH  Google Scholar 

  5. Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, Boca Raton (1971)

    MATH  Google Scholar 

  6. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Knowledge-based programs. Distributed Computing 10(4), 199–225 (1997)

    Article  Google Scholar 

  7. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18(2), 194–211 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  8. Gabbay, D.M.: A theory of hypermodal logics: Mode shifting in modal logic. Journal of Philosophical Logic 31(3), 211–243 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  9. Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6(2), 147–169 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  10. Halpern, J.Y., Fagin, R.: Modelling knowledge and action in distributed systems. Distributed Computing 3(4), 159–177 (1989)

    Article  MATH  Google Scholar 

  11. Harel, D., Kozen, D., Parikh, R.: Process logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences 25(2), 144–170 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  12. Hoshi, T.: Epistemic Dynamics and Protocol Information. PhD thesis, Stanford (2009)

    Google Scholar 

  13. Hoshi, T., Yap, A.: Dynamic epistemic logic with branching temporal structures. Synthese 169(2), 259–281 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  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. Kozen, D.: Automata on guarded strings and applications. Matématica Contemporânea 24, 117–139 (2003)

    MathSciNet  MATH  Google Scholar 

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  18. Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language and Information 12(4) (2003)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Pratt, V.R.: Process logic. In: Proceedings of POPL 1979, pp. 93–100. ACM, New York (1979)

    Google Scholar 

  22. van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. Journal of Philosophical Logic 38(5), 491–526 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  23. van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  24. Wang, Y.: Indexed semantics and its application in modelling interactive unawareness. Master’s thesis, University of Amsterdam (2006)

    Google Scholar 

  25. Wang, Y.: Epistemic Modelling and Protocol Dynamics. PhD thesis, University of Amsterdam (2010)

    Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Peking University, Beijing, 100871, China

    Yanjing Wang

Authors
  1. Yanjing Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Statistics, Indian Institute of Technology, 208016, Kanpur, India

    Mohua Banerjee

  2. Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, 208016, Kanpur, India

    Anil Seth

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, Y. (2011). Reasoning about Protocol Change and Knowledge. In: Banerjee, M., Seth, A. (eds) Logic and Its Applications. ICLA 2011. Lecture Notes in Computer Science(), vol 6521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18026-2_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-18026-2_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-18025-5

  • Online ISBN: 978-3-642-18026-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation