Epistemic Logic with Functional Dependency Operator

Yifeng Ding

Epistemic logic with non-standard knowledge operators, especially the "knowing-value" operator, has recently gathered much attention. With the "knowing-value" operator, we can expr…