Epistemic Logic with Partial Dependency Operator

DOI10.1007/978-3-662-60292-8_28MaRDI QIDQ6319411arXivFDO

Authors Xinyu Wang

Publication date 27 May 2019

Published in arXiv

Full work available at URL https://doi.org/10.1007/978-3-662-60292-8_28

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

arXiv classification

cs.LOmath.LO

Abstract: In this paper, we introduce $extitpartial$ dependency modality $mathcalD$ into epistemic logic so as to reason about $extitpartial$ dependency relationship in Kripke models. The resulted dependence epistemic logic possesses decent expressivity and beautiful properties. Several interesting examples are provided, which highlight this logic's practical usage. The logic's bisimulation is then discussed, and we give a sound and strongly complete axiomatization for a sub-language of the logic.

This page was built for publication: Epistemic Logic with Partial Dependency Operator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6319411)