Yifeng Ding

Epistemic Logic with Functional Dependency Operator

2017 · arXiv (Cornell University)

Epistemic logic with non-standard knowledge operators, especially the "knowing-value" operator, has recently gathered much attention. With the "knowing-value" operator, we can express knowledge of individual variables, but not of the relations between them in general. …