Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic

Applied Sciences

卷:12

Sonja Smets¹  Alexandru Baltag¹ 

[1] Institute for Logic, Language and Computation (ILLC), University of Amsterdam, 1098 XG Amsterdam, The Netherlands;

关键词: quantum dynamic logic;    quantum logic;    epistemic logic;    quantum information;    quantum transition systems;    quantum protocols;   

DOI  :  10.3390/app12094458

来源: DOAJ

【 摘 要 】

This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols. Similar to the advantages of using dynamic logics to reason about the flow of classical information, the quantum analogues of these logics are tailored to the task of reasoning about the flow of quantum information. We present our logical systems in a modular way, starting with the qualitative logic of quantum measurements and unitary evolutions in single quantum systems, which can already express non-classical effects, e.g., the state-changing interference induced by quantum tests, their non-commutativity, etc. We then move on to logics for compound quantum systems that can capture the non-local features of quantum information: separability, entanglement, correlated measurements, Bell states, etc. We then briefly summarize the logic of quantum probabilities and sketch some applications to quantum protocols.

【 授权许可】

Unknown