PLQP \& Company: decidable logics for quantum algorithms

DOI10.1007/S10773-013-1987-3zbMATH Open1302.81082OpenAlexW2069477494MaRDI QIDQ472733FDOQ472733

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

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

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)

Cites Work

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

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)