PLQP \& Company: decidable logics for quantum algorithms

DOI10.1007/S10773-013-1987-3MaRDI QIDQ472733zbMATH OpenOpenAlexFDO

Authors Alexandru Baltag, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong, Jort Martinus Bergfeld

Publication date 19 November 2014

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10773-013-1987-3

zbMATH Keywords

decidabilitymodal logicquantum computationquantum logic

Mathematics Subject Classification ID

Quantum computation (81P68) Modal logic (including the logic of norms) (03B45) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Quantum Probabilistic Dyadic Second-Order Logic
• LQP: the dynamic logic of quantum information
• Theoretical Aspects of Computing – ICTAC 2005
• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
• Reasoning about imperative quantum programs

Cites work

• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 5182234 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• Correlated information: a logic for multi-partite quantum systems
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• LQP: the dynamic logic of quantum information
• Propositional quantifiers in modal logic1
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Quantum computation and quantum information. 10th anniversary edition
• Quantum logic as a dynamic logic
• Quantum logic as motivated by quantum computing
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• The computational power of the W and GHZ states
• The dynamic turn in quantum logic

Cited in

(7)

• A logical analysis of quantum voting protocols
• Logics of informational interactions
• LQP: the dynamic logic of quantum information
• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
• Quantum logic is undecidable
• Theoretical Aspects of Computing – ICTAC 2005
• Automated quantum program verification in dynamic quantum logic

This page was built for publication: PLQP \& Company: decidable logics for quantum algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q472733)