- Correlated Information: A Logic for Multi-Partite Quantum Systems
- Electronic Notes in Theoretical Computer Science
- Volume | Issue number
- 270 | 2
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
Faculty of Science (FNWI)
- Institute for Logic, Language and Computation (ILLC)
In this paper we analyze classical and quantum correlations using the tools of epistemic logic. Our main contribution consists of two new logical systems. The first one is called General Epistemic Logic (GEL), it extends traditional epistemic logic with operators that allow us to reason about the information carried by a complex system composed of several parts. The second system is called the Logic of Correlated Knowledge (LCK), which extends GEL with sentences that describe the observational capabilities of an agent. On the semantic side we introduce correlation models, as a generalization of the “interpreted systems” semantics. We use this setting to investigate several types of informational correlations (e.g. distributed information, quantum correlated information) that complex systems can exhibit. We also provide an informational-logical characterization of the notion of “quantum entanglement”.
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.