Knowing Values and Public Inspection
- Resource Type
- Authors
- van Eijck, J.; Gattinger, M.; Wang, Y.; Ghosh, S.; Prasad, S.
- Source
- Logic and Its Applications ISBN: 9783662540688
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings, 77-90
STARTPAGE=77;ENDPAGE=90;TITLE=Logic and Its Applications
- Subject
- FOS: Computer and information sciences
Computer Science - Logic in Computer Science
Armstrong's axioms
Computer science
010102 general mathematics
Knowing what
06 humanities and the arts
0603 philosophy, ethics and religion
01 natural sciences
Public announcement logic
Logic in Computer Science (cs.LO)
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Operator (computer programming)
060302 philosophy
Calculus
Dynamic epistemic logic
Bisimulation
0101 mathematics
Value (mathematics)
- Language
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.