DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

DOI10.1142/S0219749904000067MaRDI QIDQ4674239zbMATH OpenFDO

Authors Olivier Brunet, Philippe Jorrand

Publication date 9 May 2005

Published in International Journal of Quantum Information (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0311143

zbMATH Keywords

non-standard models of quantum computationQuantum logicquantum programs analysis

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum computation (81P68)

Abstract: We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way, the evolution of the system becomes part of the logical study. We show how both unitary operations and two-valued measurements can be included in this formalism and can thus be handled logically.

Recommendations

• A dynamic logic for QASM programs
• LQP: the dynamic logic of quantum information
• Reasoning about imperative quantum programs
• A logic for formal verification of quantum programs
• Quantum Probabilistic Dyadic Second-Order Logic

Cites work

• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• The logic of quantum mechanics

Cited in

(16)

• Quantum effect logic in cognition
• A proof system for disjoint parallel quantum programs
• Termination of nondeterministic quantum programs
• Automata theory based on quantum logic: reversibilities and pushdown automata
• Reasoning about imperative quantum programs
• A logic for formal verification of quantum programs
• Non-unitary evolution of quantum logics
• Quantum logic as a dynamic logic
• LQP: the dynamic logic of quantum information
• A dynamic programming approach to multi-objective logic synthesis of quantum circuits
• Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
• Quantum Hoare logic with ghost variables
• Toward automatic verification of quantum programs
• Quantum first-order logics that capture logarithmic-time/space quantum computability
• Quantum fuzzy inference for knowledge base design in robust intelligent controllers
• A dynamic logic for QASM programs

This page was built for publication: DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

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