Knowing Values and Public Inspection

TL;DR

This paper introduces a dynamic epistemic logic focused on agents knowing the values of constants, featuring a new 'public inspection' operator and a complete axiomatization using dependency axioms.

Contribution

It develops a novel logic for 'knowing the value' with a new operator and provides a complete axiomatization for both single and multi-agent scenarios.

Findings

Introduces 'public inspection' operator for value knowledge updates.

Provides a sound and complete axiomatization for the logic.

Utilizes Armstrong axioms for dependencies in the axiomatization.

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.