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 | |
---|---|
arXiv.org e-Print archive | |
Organisation | Software Analysis and Transformation |
van Eijck, J., Gattinger, M., & Wang, Y. (2016). Knowing Values and Public Inspection. arXiv.org e-Print archive. |