Quantum State Transformations and Branching Distributed Temporal Logic

DOI10.1007/978-3-662-44145-9_1MaRDI QIDQ2938127zbMATH OpenOpenAlexFDO

Authors Luca Viganò, Marco Volpe, Margherita Zorzi

Publication date 13 January 2015

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44145-9_1

Mathematics Subject Classification ID

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

Recommendations

• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• Temporal logics for reasoning about quantum systems
• scientific article; zbMATH DE number 4122931
• Modal deduction systems for quantum state transformations
• Synthesis of transition systems from quantum logics
• Quantum Logics with Lattice State Spaces
• State-dependent implication and equivalence in quantum logic
• Disjunctive quantum logic in dynamic perspective
• Transition amplitude spaces and quantum logics with vector-valued states
• Jauch-Piron states on quantum logics

Cited in

(9)

• 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
• On quantum lambda calculi: a foundational perspective
• \textsc{qPCF}: a language for quantum circuit computations
• Temporal logics for reasoning about quantum systems
• Wave-style token machines and quantum lambda calculi
• Quantum programming made easy
• Modal deduction systems for quantum state transformations

This page was built for publication: Quantum State Transformations and Branching Distributed Temporal Logic

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