To Know is to Know the Value of a Variable.
Alexandru Baltag · Data Archiving and Networked Services (DANS) · 2016
We develop an epistemic logic that can express knowledge of a dependency between variables (or complex terms).An epistemic dependency formula K t 1 ,...,tn a t says that agent a knows the value of term t conditional on being given the values of terms t1, ..., tn.We add dynamic operators [!t1, . . ., tn] , capturing the e↵ect of publicly (and simultaneously) announcing the values of terms t1, . . ., tn.We prove completeness, decidability and finite model property.