Correlated Information: A Logic for Multi-Partite Quantum Systems
From MaRDI portal
Publication:2825361
DOI10.1016/j.entcs.2011.01.020zbMath1348.81048OpenAlexW2101608608WikidataQ113318318 ScholiaQ113318318MaRDI QIDQ2825361
Publication date: 7 October 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2011.01.020
Logics of knowledge and belief (including belief change) (03B42) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum coherence, entanglement, quantum correlations (81P40)
Related Items (3)
Correlated knowledge: an epistemic-logic view on quantum entanglement ⋮ Quantum entanglement: an analysis via the orthogonality relation ⋮ PLQP \& Company: decidable logics for quantum algorithms
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Correlated knowledge: an epistemic-logic view on quantum entanglement
- Complete axiomatizations for quantum actions
- Toy Quantum Categories (Extended Abstract)
- Knowledge and common knowledge in a distributed environment
- The Logic of Entanglement
- LQP: the dynamic logic of quantum information
This page was built for publication: Correlated Information: A Logic for Multi-Partite Quantum Systems