PLQP \& Company: decidable logics for quantum algorithms

DOI10.1007/s10773-013-1987-3zbMath1302.81082OpenAlexW2069477494MaRDI QIDQ472733

Joshua Sack, Alexandru Baltag, Shengyang Zhong, Sonja Smets, Kohei Kishida, 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

modal logicdecidabilityquantum 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) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items

Logics of informational interactions, Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs, A logical analysis of quantum voting protocols

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dynamic turn in quantum logic
• Quantum logic as a dynamic logic
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Correlated Information: A Logic for Multi-Partite Quantum Systems
• Quantum Computation and Quantum Information
• Propositional quantifiers in modal logic1
• LQP: the dynamic logic of quantum information
• Quantum logic as motivated by quantum computing