Epistemic Logic with Partial Dependency Operator
In this article, we introduce partial dependency modality D into epistemic logic so as to reason about partial dependency relationship in Kripke models. The resulting dependence epistemic logic possesses decent expressivity and beautiful properties. Several interesting examples are given, which illustrate this logic's practical usage. The logic's bisimulation is then discussed, and we provide a sound and strongly complete axiomatization for part of the language.
READ FULL TEXT