Temporal Aspects of the Dynamics of Knowledge

  • Valentin GorankoEmail author
  • Eric Pacuit
Part of the Outstanding Contributions to Logic book series (OCTR, volume 5)


Knowledge and time are fundamental aspects of agency and their interaction is in the focus of a wide spectrum of philosophical and logical studies. This interaction is two-fold: on the one hand, knowledge evolves over time; on the other hand, in the subjective view of the agent, time only passes when her knowledge about the world changes. In this chapter we discuss models and logics reflecting the temporal aspects of the dynamics of knowledge and offer some speculations and ideas on how the interaction of temporality and knowledge can be systematically treated.


Dynamics of knowledge Temporal-epistemic models Temporal-epistemic logics Dynamic epistemic logic Empirical information 



We thank Johan van Benthem, Joshua Sack and Dominik Klein for useful comments and references. Valentin Goranko’s work on this chapter was completed during his sabbatical visit to the Centre International de Mathématiques et Informatique de Toulouse. Eric Pacuit’s work was supported by an NWO Vidi Grant 016.094.345.


  1. 1.
    Ågotnes T, van Ditmarsch H (2014) Knowledge games and coalitional abilities. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 451–485 (Chapter 16 in this volume)Google Scholar
  2. 2.
    Alur R, Henzinger TA, Kuperman O (2002) Alternating-time temporal logic. J ACM 49(5):672–713CrossRefGoogle Scholar
  3. 3.
    Baltag A, Moss L, Solecki S (1998) The logic of common knowledge, public announcements and private suspicions. In: Gilboa I (ed) Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98), pp 43–56Google Scholar
  4. 4.
    van Benthem J (1984) Tense logic and time. Notre Dame J. Formal Logic 25:1–16CrossRefGoogle Scholar
  5. 5.
    van Benthem J, van Eijck J, Kooi B (2006) Logics of communication and change. Inf Comput 204(11):1620–1662CrossRefGoogle Scholar
  6. 6.
    van Benthem J, Gerbrandy J, Hoshi T, Pacuit E (2009) Merging frameworks of interaction. J Philos Logic 38(5):491–526CrossRefGoogle Scholar
  7. 7.
    van Benthem J (1993) The logic of time, 2nd edn. Kluwer Academic Publishers, DordrechtGoogle Scholar
  8. 8.
    van Benthem J (1995) Temporal logic, Oxford University Press, Oxford, pp 241–350Google Scholar
  9. 9.
    van Benthem J (1996) Exploring logical dynamics. Center for the study of language and information, StanfordGoogle Scholar
  10. 10.
    van Benthem J (2001) Games in dynamic-epistemic logic. Bull Econ Res 53(4):219–248Google Scholar
  11. 11.
    van Benthem J (2001) Logics for information update. In: van Benthem J (ed) Proceedings of TARK 2001, Morgan Kaufmann, San Francisco, pp 51–67Google Scholar
  12. 12.
    van Benthem J (2002) ‘One is a lonely number’: on the logic of communication. In: Chatzidakis Z, Koepke P, Pohlers W (eds) Logic colloquium ‘02, pp 96–129. ASL and A. K. Peters, Available at
  13. 13.
    van Benthem J (2004) What one may come to know. Analysis 64(2):95–105Google Scholar
  14. 14.
    van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, CambridgeGoogle Scholar
  15. 15.
    van Benthem J (2013) Reasoning about strategies. In: Coecke B, Ong L, Panagaden P (eds) Abramsky festrschrift, LNCS, vol 7860, pp 336–347Google Scholar
  16. 16.
    van Benthem J (2013) Logic in games. The MIT Press, CambridgeGoogle Scholar
  17. 17.
    van Benthem J, Pacuit E (2006) The tree of knowledge in action: towards a common perspective. In: Advances in modal logic, pp 87–106Google Scholar
  18. 18.
    van Benthem J, Pacuit E (2014) Connecting logics of choice and change. In: Nuel Belnap on indeterminism and free action, outstanding contributions to logic, vol 2, pp 291–314Google Scholar
  19. 19.
    Bezhanishvili N, van der Hoek W (2014) Structures for epistemic logic. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 339–380 (Chapter 12 in this volume)Google Scholar
  20. 20.
    Blackburn P, de Rijke M, Yde V (2002) Modal logic, Campbridge University Press, CampbridgeGoogle Scholar
  21. 21.
    Bonanno G (2004) Memory and perfect recall in extensive games. Games Econ Behav 47:237–256CrossRefGoogle Scholar
  22. 22.
    Bonanno G (2012) Belief change in branching time: AGM-consistency and iterated revision. J Philos Logic 41(1):201–236Google Scholar
  23. 23.
    Bonanno G, Dégremont C (2014) Logic and game theory. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 421–449 (Chapter 15 in this volume)Google Scholar
  24. 24.
    Dégremont C (2010) The temporal mind. Observations on the logic of belief change in interactive systems. Ph. D. thesis, Institute for Logic, Language and Computation (DS-2010-03)Google Scholar
  25. 25.
    Dégremont C, Löwe B, Witzel A (2011) The synchronicity of dynamic epistemic logic. In: Proceedings of TARK’2011, pp 145–152Google Scholar
  26. 26.
    van Ditmarsch H, van der Hoek W, Kooi B (2008) Dynamic epistemic logic. Springer, DordechtGoogle Scholar
  27. 27.
    van Ditmarsch H, van der Hoek W, Ruan J (2012) Connecting dynamic epistemic and temporal epistemic logics. J IGPL (to appear)Google Scholar
  28. 28.
    van Eijck J (2014) Dynamic epistemic logics. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 175–202 (Chapter 7 in this volume)Google Scholar
  29. 29.
    Engelfriet J (1996) Minimal temporal epistemic logic. Notre Dame J Formal Logic 37(2):233–259CrossRefGoogle Scholar
  30. 30.
    Fagin R, Halpern JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. The MIT Press, BostonGoogle Scholar
  31. 31.
    Fagin R, Halpern JY, Vardi MY (1992) What can machines know? On the properties of knowledge in distributed systems. J ACM 39(2):328–376Google Scholar
  32. 32.
    Finger M, Gabbay DM (1992) Adding a temporal dimension to a logic system. J Logic, Lang Inf 1:203–233CrossRefGoogle Scholar
  33. 33.
    Gabbay DM, Kurucz A, Wolter F, Zakharyaschev M (2003) Many-dimensional modal logics: theory and applications, Vol 148. Elsevier, AmsterdamGoogle Scholar
  34. 34.
    Girard P, Rott H (2014) Belief revision and dynamic logic. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 203–233 (Chapter 8 in this volume)Google Scholar
  35. 35.
    Goranko V (2012) Modelling the dynamics of knowledge and strategic abilities of players in multi-player games. In: Work in progress, Technical University of Denmark, Kongens LyngbyGoogle Scholar
  36. 36.
    Goranko V, Jamroga W (2004) Comparing semantics of logics for multi-agent systems. Synthese 139(2):241–280CrossRefGoogle Scholar
  37. 37.
    Goranko V, Hawke P (2010) On the dynamics of information and abilities of players in multi-player games. In: Proceedings of LOFT’2010Google Scholar
  38. 38.
    Goranko V, Shkatov D (2009) Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. In: Decker K, Sichman J, Sierra C, Castelfranchi C (eds) Proceedings of AAMAS’2009Google Scholar
  39. 39.
    Goranko V, Shkatov D (2009) Tableau-based decision procedure for the full coalitional multiagent logic of branching time. In: Baldoni et al M (eds) MALLOW’2009Google Scholar
  40. 40.
    Halpern JY, Vardi MY (1988) Reasoning about knowledge and time in asynchronous systems. In: Simon J (ed) Proceedings of STOC’1988, ACM, pp 53–65Google Scholar
  41. 41.
    Halpern JY (1987) Using reasoning about knowledge to analyze distributed systems. Ann Rev Comput Sci 2:37–68CrossRefGoogle Scholar
  42. 42.
    Halpern JY, Vardi MY (1989) The complexity of reasoning about knowledge and time i: lower bounds. J Comput Syst Sci 38(1):195–237CrossRefGoogle Scholar
  43. 43.
    Halpern JY, Moses Yoram (1990) Knowledge and common knowledge in a distributed environment. J ACM 37(3):549–587Google Scholar
  44. 44.
    Halpern JY, van der Meyden R, Vardi M (2004) Complete axiomatizations for reasoning about knowledge and time. SIAM J Comput 33(2):674–703CrossRefGoogle Scholar
  45. 45.
    Hintikka J (1962) Knowledge and belief: an introduciton to the logic of the two notions. Cornell University Press, IthacaGoogle Scholar
  46. 46.
    van der Hoek W, Wooldridge M (2003) Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications. Stud Logica 75(1):125–157CrossRefGoogle Scholar
  47. 47.
    Hoshi T, Yap A (2009) Dynamic epistemic logic with branching temporal structures. Synthese 169(2):259–281CrossRefGoogle Scholar
  48. 48.
    van der Meyden R, Wong K-S (2003) Complete axiomatizations for reasoning about knowledge and branching time. Stud Logica 75(1):93–123CrossRefGoogle Scholar
  49. 49.
    van Otterloo S (2005) A strategic analaysis of multi-agent protocols. Ph. D. thesis, Institute for Logic, Language and ComputationGoogle Scholar
  50. 50.
    Pacuit E (2007) Some comments on history based structures. J Appl Logic 5(4):613–624CrossRefGoogle Scholar
  51. 51.
    Pacuit E, Simon S (2012) Reasoning with protocols under imperfect information. Rev Symbolic Logic 4:412–444CrossRefGoogle Scholar
  52. 52.
    Parikh R, Ramanujam R (2003) A knowledge based semantics of messages. J Logic, Lang Inf 12:453–467CrossRefGoogle Scholar
  53. 53.
    Parikh R, Ramanujam R (1985) Distributed processes and the logic of knowledge. In: Logic of programs. Lecture notes in computer science, Vol 193. Springer, New York, pp 256–268Google Scholar
  54. 54.
    Prior AN (1967) Past, present and future. Oxford University Press, OxfordGoogle Scholar
  55. 55.
    Renne B, Sack J, Yap A (2009) Dynamic epistemic temporal logic. In: Proceedings of LORI, pp 263–277Google Scholar
  56. 56.
    Renne B, Sack J, Yap A (2010) Dynamic epistemic temporal logicGoogle Scholar
  57. 57.
    Sack J (2007) Adding temporal logic to dynamic epistemic logic. PhD thesis, Indiana University, BloomingtonGoogle Scholar
  58. 58.
    Sack J (2008) Temporal languages for epistemic programs. J Logic, Lang Inf 17(2):183–216CrossRefGoogle Scholar
  59. 59.
    Sack J (2010) Logic for update products and steps into the past. Ann Pure Appl Logic 161(12):1431–1461CrossRefGoogle Scholar
  60. 60.
    Schobbens P-Y (2004) Alternating-time logic with imperfect recall. Electron Notes Theoret Comput Sci, 85(2):82–93Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Technical University of DenmarkKongens LyngbyDenmark
  2. 2.University of JohannesburgJohannesburgSouth Africa
  3. 3.Department of PhilosophyUniversity of MarylandCollege ParkUSA

Personalised recommendations