# Knowing Values and Public Inspection

arXiv: https://arxiv.org/abs/1609.03338 · HTML: https://mlsanity.com/paper/1609.03338/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 12 Sep 2016.

## Built on by (most cited first, 3 of 3)

- [De Re Updates](https://mlsanity.com/paper/2106.11497/) (2021)
- [Observing Interventions: A logic for thinking about experiments](https://mlsanity.com/paper/2111.12978/) (2021)
- [Dynamic Logic of Trust-Based Beliefs](https://mlsanity.com/paper/2511.00899/) (2025)

## Abstract (arXiv)

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.