In our work on 'Correlated Knowledge: an Epistemic-Logic View on Quantum Entanglement' (2010), we use the insights coming from multi-agent classical epistemic logic, and view it as a logic fit to reason about the spatial properties of quantum systems. This epistemic logical tool-box proved very useful to enrich our understanding of how one can express the properties that encode non-local quantum behavior in a logical system. In particular we provided a new information-logical characterization of the properties of "seperability" and "quantum entanglement". Because earlier work in the quantum-logic community points out the difficulties that entanglement poses for the traditional lattice-theoretic approaches, we opened up this new epistemic interpretation in order to provide an alternative way of analyzing entanglement.
A full integration of the classical knowledge of classical agents and quantum knowledge, was later explored in the unified setting we are designing to reason about both the classical and quantum information flow [read more].