Temporal logics for reasoning about quantum systems

MaRDI QIDQ3560845zbMATH OpenFDO

Authors Paulo Mateus, Jaime Ramos, Amílcar Sernadas, Cristina Sernadas

Publication date 14 May 2010

Mathematics Subject Classification ID

Temporal logic (03B44) Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)

Recommendations

• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
• 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
• Theoretical Aspects of Computing – ICTAC 2005

Cited in

(8)

• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• Quantum State Transformations and Branching Distributed Temporal Logic
• Model-checking linear-time properties of quantum systems
• QBF Encoding of Temporal Properties and QBF-Based Verification
• QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
• Logics in Artificial Intelligence
• Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
• A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)

This page was built for publication: Temporal logics for reasoning about quantum systems

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