Knowing Values and Public Inspection
Logic in Computer Science
2017-01-17 v2
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.
Cite
@article{arxiv.1609.03338,
title = {Knowing Values and Public Inspection},
author = {Jan van Eijck and Malvin Gattinger and Yanjing Wang},
journal= {arXiv preprint arXiv:1609.03338},
year = {2017}
}