Correlated Information: A Logic for Multi-Partite Quantum Systems

DOI10.1016/j.entcs.2011.01.020zbMath1348.81048OpenAlexW2101608608WikidataQ113318318 ScholiaQ113318318MaRDI QIDQ2825361

Alexandru Baltag, Sonja Smets

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

zbMATH Keywords

entanglementquantum correlationsquantum informationcorrelation modelsgeneral epistemic logic

Mathematics Subject Classification ID

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