Knowing Values and Public Inspection
| Authors |
|
|---|---|
| Publication date | 2017 |
| Host editors |
|
| Book title | Logic and Its Applications |
| Book subtitle | 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 7th Indian Conference on Logic and Its Applications |
| Pages (from-to) | 77-90 |
| Number of pages | 14 |
| Publisher | Berlin: Springer |
| Organisations |
|
| 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. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-662-54069-5_7 |
| Published at | https://arxiv.org/abs/1609.03338 |
| Downloads |
1609.03338.pd
(Accepted author manuscript)
|
| Permalink to this page | |