| Title | Knowing Values and Public Inspection |
| Authors | van Eijck, Jan Gattinger, Malvin Wang, Yanjing |
| Affiliation | Univ Amsterdam, ILLC, Amsterdam, Netherlands. CWI, SEN1, Amsterdam, Netherlands. Peking Univ, Dept Philosophy, Beijing, Peoples R China. |
| Keywords | Knowing what Bisimulation Public announcement logic INDEPENDENCE |
| Issue Date | 2017 |
| Publisher | 7th Indian Conference on Logic and Its Applications (ICLA) |
| Citation | 7th Indian Conference on Logic and Its Applications (ICLA).2017,10119,77-90. |
| 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. |
| URI | http://hdl.handle.net/20.500.11897/469854 |
| ISSN | 0302-9743 |
| DOI | 10.1007/978-3-662-54069-5_7 |
| Indexed | CPCI-S(ISTP) |
| Appears in Collections: | 哲学系（宗教学系） |
