A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations

DOI10.1016/j.ic.2017.01.007zbMath1372.68191OpenAlexW2512013866MaRDI QIDQ2401638

Margherita Zorzi, Luca Viganò, Marco Volpe

Publication date: 4 September 2017

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/a-branching-distributed-temporal-logic-for-reasoning-about-entanglementfree-quantum-state-transformations(6a77a314-a622-405a-8358-35d8c4dc4873).html

zbMATH Keywords

natural deductiontemporal logicquantum computingdistributed temporal logicquantum state transformations

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)

Related Items (4)

Natural deduction calculi for classical and intuitionistic S5 ⋮ Unnamed Item ⋮ A logic for quantum register measurements ⋮ QPCF: higher-order languages and quantum circuits

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantum logic as a dynamic logic
• Distributed temporal logic for the analysis of security protocol models
• The modal logic of quantum logic
• The temporal logic of branching time
• Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families
• Quantum implicit computational complexity
• Natural deduction for non-classical logics
• Specifying communication in distributed information systems
• Decision procedures and expressiveness in the temporal logic of branching time
• Confluence Results for a Quantum Lambda Calculus with Measurements
• Quantum State Transformations and Branching Distributed Temporal Logic
• An algebra of quantum processes
• On quantum lambda calculi: a foundational perspective
• Labelled natural deduction for a bundled branching temporal logic
• On a measurement-free quantum lambda calculus with classical control
• Labelled Tableaux for Distributed Temporal Logic
• Quantum Computing
• A categorical quantum logic
• LQP: the dynamic logic of quantum information
• A lambda calculus for quantum computation with classical control

This page was built for publication: A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations