Correlated Information: A Logic for Multi-Partite Quantum Systems-Reference-Cited by-同舟云学术

Correlated Information: A Logic for Multi-Partite Quantum Systems

Published:2011-02 Issue:2 Volume:270 Page:3-14
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Baltag Alexandru,Smets Sonja

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference12 articles.

1. S. Abramsky and B. Coecke, “A Categorical Semantics of Quantum Protocols”, in the proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS'04). Available at arXiv:quant-ph/0402130.

2. The Logic of Quantum Programs;Baltag,2004

3. Complete Axiomatizations Of Quantum Actions;Baltag;International Journal of Theoretical Physics,2005

4. LQP: The Dynamic Logic of Quantum Information;Baltag;Mathematical Structures in Computer Science,2006

5. A Dynamic-Logical Perspective on Quantum Behavior;Baltag;Studia Logica,2008

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logic Meets Wigner’s Friend (and their Friends);International Journal of Theoretical Physics;2024-04-23

2. Quantum Entanglement: An Analysis via the Orthogonality Relation;Foundations of Physics;2023-08

3. Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic;Applied Sciences;2022-04-28

4. Strategic Knowledge of the Past in Quantum Cryptography;Logic, Rationality, and Interaction;2017

5. PLQP & Company: Decidable Logics for Quantum Algorithms;International Journal of Theoretical Physics;2014-01-22