Skip to main content
SpringerLink
Log in

Knowledge and Local Actions

  • Chapter
  • First Online:
Modality, Semantics and Interpretations

Part of the book series: Logic in Asia: Studia Logica Library ((LIAA))

  • 408 Accesses

Abstract

The study of epistemic dynamics has largely concentrated on how knowledge of an agent changes due to communication and other ‘global’ actions that involve engagement of several agents. Local actions under the control of agents are treated as a special case. We point out that there are some specific issues of both technical and philosophical interest when we focus on local actions. For instance, when two agents can perform such actions concurrently, their knowledge changes independently as well. This has crucial implications for any dynamic logic of knowledge leading to high undecidability, suggesting that more subtlety is called for.

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 EPUB and 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
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    I wish to thank Fenrong Liu and Hiraokira Ono for their encouragement; I am indebted to Kamal Lodaya and Rohit Parikh for many discussions on this theme.

References

  1. G. Aucher. Supervisory control theory in epistemic temporal logic. In A. L. C. Bazzan, M. N. Huhns, A. Lomuscio, and P. Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS’14, Paris, France, May 5–9, 2014, pages 333–340. IFAAMAS/ACM, 2014.

    Google Scholar 

  2. J. Czelakowski. Elements of formal action theory. In Logic, Action, and Information, pages 3–62, 1996.

    Google Scholar 

  3. H. v. Ditmarsch, W. van der Hoek, and B. Kooi. Dynamic Epistemic Logic. Springer Publishing Company, Incorporated, 1st edition, 2007.

    Google Scholar 

  4. K. Engelhardt, R. van der Meyden, and Y. Moses. Knowledge and the logic of local propositions. In TARK, pages 29–41, 1998.

    Google Scholar 

  5. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. MIT Press, 1995.

    Google Scholar 

  6. R. Goldblatt. Parallel action: Concurrent dynamic logic with independent modalities. Studia Logica, 51(3/4):551–578, 1992.

    Google Scholar 

  7. J. Y. Halpern and R. Fagin. Modelling knowledge and action in distributed systems. Distributed Computing, 3(4):159–179, 1989. A preliminary version appeared in Proc. 4th ACM Symposium on Principles of Distributed Computing, 1985, with the title “A formal model of knowledge, action, and communication in distributed systems: Preliminary report”.

    Google Scholar 

  8. J. Y. Halpern and M. Y. Vardi. The Complexity of Reasoning about Knowledge and Time. I Lower Bounds. J. Comput. Syst. Sci., 38:195–237, 1989.

    Google Scholar 

  9. D. Harel. Recurring dominoes: Making the highly undecidable highly understandable (preliminary report). In Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21–27, 1983, pages 177–194, 1983.

    Google Scholar 

  10. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, October 2000.

    Google Scholar 

  11. P. J. Krasucki and R. Ramanujam. Knowledge and the ordering of events in distributed systems. In R. Fagin, editor, Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994, pages 267–283. Morgan Kaufmann, 1994.

    Google Scholar 

  12. K. Lodaya, R. Parikh, R. Ramanujam, and P. S. Thiagarajan. A logical study of distributed transition systems. Inf. Comput., 119(1):91–118, 1995.

    Google Scholar 

  13. R. Milner. Communication and concurrency. PHI Series in computer science. Prentice Hall, 1989.

    Google Scholar 

  14. S. Mohalik and R. Ramanujam. Automata for epistemic temporal logic with synchronous communication. Journal of Logic, Language and Information, 19(4):451–484, 2010.

    Google Scholar 

  15. S. Mohalik and I. Walukiewicz. Distributed games. In Proceedings of the Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS, volume 2914 of LNCS, pages 338–351. Springer, 2003.

    Google Scholar 

  16. R. Parikh. Decidability and undecidability in distributed transition systems. In R. Narasimhan, editor, A perspective in theoretical computer science — commemorative volume for Gift Siromoney, pages 199–209. World Scientific, 1988.

    Google Scholar 

  17. R. Parikh and R. Ramanujam. Distributed processes and the logic of knowledge. In R. Parikh, editor, Logic of Programs, volume 193 of Lecture Notes in Computer Science, pages 256–268. Springer, 1985.

    Google Scholar 

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

    Google Scholar 

  19. R. Ramanujam. Knowledge and the next state modality. In P. Gupta, editor, Proceedings of the Fourth National Seminar in Theoretical Computer Science, IIT, Kanpur, pages 62–80, 1994.

    Google Scholar 

  20. R. Ramanujam. Local knowledge assertions in a changing world. In Y. Shoham, editor, Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17–20 1996, pages 1–14. Morgan Kaufmann, 1996.

    Google Scholar 

  21. R. Ramanujam and S. Simon. A communication based model for games of imperfect information. In CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31–September 3, 2010. Proceedings, pages 509–523, 2010.

    Google Scholar 

  22. B. K. Uday Khedker, Amitabha Sanyal. Data Flow Analysis: Theory and Practice. CRC Press, 2009.

    Google Scholar 

  23. J. van Benthem. Exploring Logical Dynamics. CSLI Publications, 1996.

    Google Scholar 

  24. J. van Benthem. Decisions, actions, and games: A logical perspective. In R. Ramanujam and S. Sarukkai, editors, Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7–11, 2009. Proceedings, volume 5378 of Lecture Notes in Computer Science, pages 1–22. Springer, 2009.

    Google Scholar 

  25. J. van Benthem and J. A. Bergstra. Logic of transition systems. Journal of Logic, Language and Information, 3(4):247–283, 1994.

    Google Scholar 

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

    Google Scholar 

  27. J. van Benthem, J. van Eijck, and B. P. Kooi. Logics of communication and change. Inf. Comput., 204(11):1620–1662, 2006.

    Google Scholar 

  28. H. P. van Ditmarsch, W. van der Hoek, and J. Ruan. Connecting dynamic epistemic and temporal epistemic logics. Logic Journal of the IGPL, 21(3):380–403, 2013.

    Google Scholar 

  29. Y. Wang and G. Aucher. An alternative axiomatization of DEL and its applications. In F. Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3–9, 2013. IJCAI/AAAI, 2013.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematical Sciences, Chennai, India

    R. Ramanujam

Authors
  1. R. Ramanujam
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to R. Ramanujam .

Editor information

Editors and Affiliations

  1. Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China

    Shier Ju

  2. Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China

    Hu Liu

  3. Japan Advanced Institute of Science and Technology, Ishikawa, Japan

    Hiroakira Ono

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Ramanujam, R. (2015). Knowledge and Local Actions. In: Ju, S., Liu, H., Ono, H. (eds) Modality, Semantics and Interpretations. Logic in Asia: Studia Logica Library. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47197-5_5

Download citation

Publish with us

Policies and ethics

Search

Navigation