Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
[5] defined independently from the DEL community a variant of the DEL framework where preconditions are replaced by classes of pointed epistemic models.
References
Aucher, G.: BMS revisited. In: Heifetz, A. (ed.) TARK, pp. 24–33 (2009)
Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Baltag, A., Moss, L.S.: Logic for epistemic programs. Synthese 139(2), 165–224 (2004)
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)
Billot, A., Vergnaud, J.-C., Walliser, B.: Multiagent belief revision. J. Math. Econ. 59, 47–57 (2015)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
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)
Halpern, J.Y., Pucella, R.: Dealing with logical omniscience: expressiveness and pragmatics. Artif. Intell. 175(1), 220–235 (2011)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
Hintikka, J.: Knowledge and Belief, An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca and London (1962)
Pratt, V.R.: Process logic. In: Proceedings of the 6th ACM Symposium on Principles of Programming Languages, San Antonio (1979)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Inf. Comput. 204(11), 1620–1662 (2006)
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)
Wilson, G., Shpall, S.: Action. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Summer 2012 edn. (2012)
Acknowledgments
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
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
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. https://doi.org/10.1007/978-3-030-65840-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-65840-3_1
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)