Handbook of theoretical computer science (vol. B)
Reasoning about knowledge
Reasoning about knowledge: a survey
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Quantum computation and quantum information
Quantum computation and quantum information
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
The computational power of the W And GHZ States
Quantum Information & Computation
Journal of the ACM (JACM)
Classical Knowledge for Quantum Cryptographic Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Quantum predicative programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Equivalence checking of quantum protocols
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum computation. While we rely on structures developed in [1], we stress that our notion of quantum knowledge makes sense more generally in any agent-based model for distributed quantum systems. Several arguments are given to support our view that an agent's possibility relation should not be based on the reduced density matrix, but rather on local classical states and local quantum operations. In this way, we are able to analyse distributed primitives such as superdense coding and teleportation, obtaining interesting conclusions as to how the knowledge of individual agents evolves. We show explicitly that the knowledge transfer in teleportation is essentially classical, in that eventually, the receiving agent knows that its state is equal to the initial state of the sender. The relevant epistemic statements for teleportation deal with this correlation rather than with the actual quantum state, which is unknown throughout the protocol.