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.

Additional Metadata
Keywords Bisimulation, Knowing what, Public announcement logic
Persistent URL dx.doi.org/10.1007/978-3-662-54069-5_7
Series Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence
Conference Indian Conference on Logic and Its Applications
Citation
van Eijck, D.J.N, Gattinger, M, & Wang, Y. (2017). Knowing values and public inspection. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. doi:10.1007/978-3-662-54069-5_7