Epistemic Logic with Partial Dependency Operator

05/27/2019

∙

by   Xinyu Wang, et al.

∙

0

∙

share

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.