Modal deduction systems for quantum state transformations

MaRDI QIDQ5389322zbMATH OpenFDO

Authors Luca Viganò, Margherita Zorzi, Andrea Masini

Publication date 26 April 2012

zbMATH Keywords

labelled deductionmodal logicsnatural deductionproof theoryquantum computing

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

Recommendations

• Natural deduction for quantum logic
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• Quantum State Transformations and Branching Distributed Temporal Logic
• Logics in Artificial Intelligence
• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS

Cited in

(8)

• A logic for quantum register measurements
• QPCF: higher-order languages and quantum circuits
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• Quantum State Transformations and Branching Distributed Temporal Logic
• \textsc{qPCF}: a language for quantum circuit computations
• Techniques for Formal Modelling and Analysis of Quantum Systems
• Quantum programming made easy
• Natural deduction calculi for classical and intuitionistic S5

This page was built for publication: Modal deduction systems for quantum state transformations

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