Skip to main content

Expedition in the Update Universe

  • Conference paper
  • First Online:
Dynamic Logic. New Trends and Applications (DaLi 2020)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12569))

Included in the following conference series:

  • 310 Accesses


Dynamic epistemic logic (DEL) is a logic dealing with knowledge and belief change based on the concepts of event model and product update. The product update accounts for the way we update our knowledge and beliefs about situations when events occur. However, DEL does not account for the way we update our knowledge and beliefs about events when other events occur. Indeed, events are assumed to occur instantaneously in DEL and this idealization precludes to study this kind of update. We provide a logical analysis of updates without this assumption. It leads us to identify a graph structure for events based on their relative dependence of occurence and to introduce a generic product update. The DEL product update is a specific instance of this generic product update.

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

Access this chapter

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others


  1. 1.

    [5] defined independently from the DEL community a variant of the DEL framework where preconditions are replaced by classes of pointed epistemic models.


  1. Aucher, G.: BMS revisited. In: Heifetz, A. (ed.) TARK, pp. 24–33 (2009)

    Google Scholar 

  2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)

    MATH  Google Scholar 

  3. Baltag, A., Moss, L.S.: Logic for epistemic programs. Synthese 139(2), 165–224 (2004)

    Article  MathSciNet  Google Scholar 

  4. Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Gilboa, I. (ed.) TARK, pp. 43–56. Morgan Kaufmann (1998)

    Google Scholar 

  5. Billot, A., Vergnaud, J.-C., Walliser, B.: Multiagent belief revision. J. Math. Econ. 59, 47–57 (2015)

    Article  MathSciNet  Google Scholar 

  6. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)

    Book  Google Scholar 

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

    MATH  Google Scholar 

  8. Gochet, P., Gribomont, P.: Epistemic logic. In: Gabbay, D., Woods, J. (eds.) Handbook of the History of Logic. Twentieth Century Modalities, vol. 7, pp. 99–195. Elsevier, Amsterdam (2006)

    Google Scholar 

  9. Halpern, J.Y., Pucella, R.: Dealing with logical omniscience: expressiveness and pragmatics. Artif. Intell. 175(1), 220–235 (2011)

    Article  MathSciNet  Google Scholar 

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

    Book  Google Scholar 

  11. Hintikka, J.: Knowledge and Belief, An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca and London (1962)

    Google Scholar 

  12. Pratt, V.R.: Process logic. In: Proceedings of the 6th ACM Symposium on Principles of Programming Languages, San Antonio (1979)

    Google Scholar 

  13. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)

    Book  Google Scholar 

  14. van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)

    Book  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  16. van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games, vol. 3, pp. 87–117. Amsterdam University Press (2008)

    Google Scholar 

  17. Wilson, G., Shpall, S.: Action. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Summer 2012 edn. (2012)

    Google Scholar 

Download references


I thank Johan van Benthem and two anonymous referees for helpful comments. I thank Sabine Frittella for a discussion which enabled to find out a defect.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Guillaume Aucher .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Aucher, G. (2020). Expedition in the Update Universe. In: Martins, M.A., Sedlár, I. (eds) Dynamic Logic. New Trends and Applications. DaLi 2020. Lecture Notes in Computer Science(), vol 12569. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-65839-7

  • Online ISBN: 978-3-030-65840-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics