Knowing Values and Public Inspection

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.

[1]  Yifeng Ding,et al.  Epistemic Logic with Functional Dependency Operator , 2017, ArXiv.

[2]  Ivano Ciardelli,et al.  Questions in logic , 2016 .

[3]  W. W. Armstrong,et al.  Dependency Structures of Data Base Relationships , 1974, IFIP Congress.

[4]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[5]  Yanjing Wang,et al.  Beyond knowing that: a new generation of epistemic logics , 2016, ArXiv.

[6]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[7]  Pavel Naumov,et al.  An Independence Relation for Sets of Secrets , 2009, Stud Logica.

[8]  Floris Roelofsen,et al.  Inquisitive dynamic epistemic logic , 2014, Synthese.

[9]  Yanjing Wang,et al.  Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators , 2013, IJCAI.

[10]  Pavel Naumov,et al.  Independence in Information Spaces , 2012, Stud Logica.

[11]  Alexandru Baltag,et al.  To Know is to Know the Value of a Variable , 2016, Advances in Modal Logic.

[12]  Yanjing Wang,et al.  Conditionally Knowing What , 2014, Advances in Modal Logic.

[13]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[14]  Yanjing Wang,et al.  "Knowing value'' logic as a normal modal logic , 2016, Advances in Modal Logic.

[15]  Pavel Naumov,et al.  Rationally Functional Dependence , 2014, J. Philos. Log..

[16]  L. Sweeney Only You, Your Doctor, and Many Others May Know , 2015 .

[17]  Jouko A. Väänänen,et al.  Dependence Logic - A New Approach to Independence Friendly Logic , 2007, London Mathematical Society student texts.

[18]  Pavel Naumov,et al.  Functional Dependence in Strategic Games , 2013, Notre Dame J. Formal Log..