Knowing Values and Public Inspection

  • Jan van Eijck
  • Malvin GattingerEmail author
  • Yanjing Wang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10119)


We present a basic dynamic epistemic logic of “knowing the value”. Analogous to public announcement in standard DEL, we study “public inspection”, a new dynamic operator which updates the agents’ knowledge about the values of constants. We provide a sound and strongly complete axiomatization for the single and multi-agent case, making use of the well-known Armstrong axioms for dependencies in databases.


Knowing what Bisimulation Public announcement logic 



We thank the following people for useful comments on this work: Alexandru Baltag, Peter van Emde Boas, Hans van Ditmarsch, Jie Fan, Kai Li and our anonymous reviewers.

This research cooperation was made possible by travel grant 040.11.490 from NWO for Yanjing Wang, which is herewith gratefully acknowledged.


  1. 1.
    Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Springer (2016, forthcoming)Google Scholar
  2. 2.
    van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, vol. 1. Springer, Heidelberg (2007)CrossRefzbMATHGoogle Scholar
  3. 3.
    Plaza, J.: Logics of public communications. Synthese 158(2), 165–179 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Bilboa, I. (ed.) TARK 1998, pp. 43–56 (1998)Google Scholar
  5. 5.
    Armstrong, W.W.: Dependency structures of data base relationships. In: IFIP Congress, Geneva, Switzerland, vol. 74, pp. 580–583 (1974)Google Scholar
  6. 6.
    Sweeney, L.: Only you, your doctor, and many others may know. Technology Science (2015).
  7. 7.
    Wang, Y., Fan, J.: Knowing that, knowing what, and public communication: public announcement logic with KV operators. In: IJCAI 2013, pp. 1147–1154 (2013)Google Scholar
  8. 8.
    Wang, Y., Fan, J.: Conditionally knowing what. In: Advances in Modal Logic, vol. 10, pp. 569–587 (2014)Google Scholar
  9. 9.
    Gu, T., Wang, Y.: “Knowing value” logic as a normal modal logic. In: Advances in Modal Logic, vol. 11, pp. 362–381 (2016)Google Scholar
  10. 10.
    Baltag, A.: To know is to know the value of a variable. In: Advances in Modal Logic, vol. 11, pp. 135–155 (2016)Google Scholar
  11. 11.
    Väänänen, J.: Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press, New York (2007)CrossRefzbMATHGoogle Scholar
  12. 12.
    Ciardelli, I., Roelofsen, F.: Inquisitive dynamic epistemic logic. Synthese 192(6), 1643–1687 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Ciardelli, I.: Questions in logic. Ph.D. thesis, University of Amsterdam (2016)Google Scholar
  14. 14.
    Ding, Y.: Epistemic logic with functional dependency operator. Bachelor’s thesis (in Chinese), Peking University (2015)Google Scholar
  15. 15.
    More, S.M., Naumov, P.: An independence relation for sets of secrets. Stud. Logica 94(1), 73–85 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Naumov, P.: Independence in information spaces. Stud. Logica 100(5), 953–973 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Naumov, P., Nicholls, B.: Rationally functional dependence. J. Philos. Logic 43(2–3), 603–616 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Harjes, K., Naumov, P.: Functional dependence in strategic games. Notre Dame J. Formal Logic 57(3), 341–353 (2016)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany 2017

Authors and Affiliations

  • Jan van Eijck
    • 1
    • 2
  • Malvin Gattinger
    • 1
    Email author
  • Yanjing Wang
    • 3
  1. 1.ILLCUniversity of AmsterdamAmsterdamThe Netherlands
  2. 2.SEN1CWIAmsterdamThe Netherlands
  3. 3.Department of PhilosophyPeking UniversityBeijingChina

Personalised recommendations