Skip to main content
SpringerLink
Log in

A Runs-and-Systems Semantics for Logics of Announcements

  • Conference paper
Logic and the Foundations of Game and Decision Theory – LOFT 8 (LOFT 2008)

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

  • 506 Accesses

Abstract

Logics of announcements are logics of knowledge to reason about agents that communicate by broadcasting interpreted messages. These logics are typically given a semantics in terms of updatable Kripke structures, which tend to be abstract. We revisit the semantics of logics of announcements and develop a concrete semantics using runs and systems. The advantage is that we can devise models that capture scenarios without having to express properties of those scenarios within the logic itself. In this concrete setting, we study honesty as well as belief in the presence of announcements that are not broadcast to all agents in a system.

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. Baltag, A., Coecke, B., Sadrzadeh, M.: Epistemic a Actions as Resources. J. Log. Comput. 17(3), 555–585 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  2. Baltag, A., Moss, L.S.: Logics for Epistemic Programs. Synthese 139, 165–224 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  3. van Benthem, J.: One is a Lonely Number. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) LC 2002. Lecture Notes in Logic, vol. 27, pp. 96–129. AK Peters, Wellesley (2006)

    Google Scholar 

  4. van Benthem, J., Gerbrandy, J., Pacuit, E.: Merging Frameworks for Interaction: DEL and ETL. In: Samet, D. (ed.) TARK 2007, pp. 72–81. ACM Press, New York (2007)

    Chapter  Google Scholar 

  5. Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. ACM Trans. Comput. Syst. 8(1), 18–36 (1990)

    Article  Google Scholar 

  6. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Heidelberg (2007)

    Google Scholar 

  7. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  8. Gerbrandy, J.: Dynamic Epistemic Logic. In: Moss, L.S., Ginzburg, J., de Rijke, M. (eds.) Logic, Language, and Information, vol. 2, pp. 67–84. CSLI Publication, Stanford (1999)

    Google Scholar 

  9. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  10. Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)

    Google Scholar 

  11. van der Hoek, W., Wooldridge, M.: Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, p. 4. Springer, Heidelberg (2002)

    Google Scholar 

  12. Kripke, S.: A Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi. Z. Math. Log. Grundl. Math. 9, 67–96 (1963)

    Article  MATH  MathSciNet  Google Scholar 

  13. Lichtenstein, O., Pnueli, A., Zuck, L.: The Glory of the Past. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 196–218. Springer, Heidelberg (1985)

    Google Scholar 

  14. van der Meyden, R., Wong, K.: Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Stud. Log. 75(1), 93–123 (2003)

    Article  MATH  Google Scholar 

  15. Moore, G.E.: A Reply to my Critics. In: Schilpp, P.A. (ed.) The Philosophy of G. E. Moore. The Library of Living Philosophers, vol. 4, pp. 535–677. Northwestern University (1942)

    Google Scholar 

  16. Panangaden, P., Taylor, K.: Concurrent Common Knowledge. Distributed Comp. 6, 73–93 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  17. Parikh, R., Ramanujan, R.: A Knowledge Based Semantics of Messages. J. Log. Lang. Inf. 12(4), 453–467 (2003)

    Article  MATH  Google Scholar 

  18. Sack, J.: Temporal Languages for Epistemic Programs. J. Log. Lang. Inf. 17(2), 183–216 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  19. Yap, A.: Product Update and Looking Backwards. ILLC Publications PP-2006-39, Universiteit van Amsterdam (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Computer and Information Science, Northeastern University, 360 Huntington Avenue, Boston, MA, 02115, United States of America

    Riccardo Pucella

  2. Computing Laboratory, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, United Kingdom

    Mehrnoosh Sadrzadeh

Authors
  1. Riccardo Pucella
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mehrnoosh Sadrzadeh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Economics, University of California, One Shields Avenue, 95616-8578, Davis, CA, USA

    Giacomo Bonanno

  2. Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, P.O. Box 94242, 1090 GE, Amsterdam, The Netherlands

    Benedikt Löwe

  3. Department of Computer Science, University of Liverpool, L69 7ZF, Liverpool, UK

    Wiebe van der Hoek

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pucella, R., Sadrzadeh, M. (2010). A Runs-and-Systems Semantics for Logics of Announcements. In: Bonanno, G., Löwe, B., van der Hoek, W. (eds) Logic and the Foundations of Game and Decision Theory – LOFT 8. LOFT 2008. Lecture Notes in Computer Science(), vol 6006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15164-4_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15164-4_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15163-7

  • Online ISBN: 978-3-642-15164-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation