Epistemic Logic with Partial Dependency Operator

Xinyu Wang

In this paper, we introduce $\text{partial}$ dependency modality $\mathcal{D}$ into epistemic logic so as to reason about $\text{partial}$ dependency relationship in Kripke mod…