Abstract
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.
Author supplied keywords
Cite
CITATION STYLE
Van Eijck, J., Gattinger, M., & Wang, Y. (2017). Knowing values and public inspection. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10119 LNCS, pp. 77–90). Springer Verlag. https://doi.org/10.1007/978-3-662-54069-5_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
