Knowing values and public inspection

van Eijck, Jan; Gattinger, Malvin; Wang, Yanjing

doi:10.1007/978-3-662-54069-5_7

D.J.N. van Eijck (Jan), M. Gattinger (Malvin) and Y. Wang (Yanjing)

2017

Knowing values and public inspection

Presented at the Indian Conference on Logic and Its Applications (January 2017), Kanpur, India

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	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
Organisation	Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van Eijck, J., Gattinger, M., & Wang, Y. (2017). Knowing values and public inspection. In Indian Conference on Logic and its Applications (pp. 77–90). doi:10.1007/978-3-662-54069-5_7