Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
From MaRDI portal
Publication:6116356
Cites work
- Advanced Kripke frame for quantum logic
- Complete axiomatizations for quantum actions
- Correspondence between Kripke frames and projective geometries
- Duality for the logic of quantum actions
- DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
- Extended quantum logic
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 3009953 (Why is no real title available?)
- scientific article; zbMATH DE number 3088093 (Why is no real title available?)
- Implication connectives in orthomodular lattices
- Integrated Formal Methods
- Lexicographic orthogonality
- LQP: the dynamic logic of quantum information
- Modal logic
- On the modal logic of the non-orthogonality relation between quantum states
- QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
- Quantum logic as a dynamic logic
- Quantum logic in algebraic approach
- Quantum Probabilistic Dyadic Second-Order Logic
- Semantic analysis of orthologic
- Semantics of the minimal logic of quantum mechanics
- Some theorems about the sentential calculi of Lewis and Heyting
- Temporal logics for reasoning about quantum systems
- Termination of nondeterministic quantum programs
- The conditional in quantum logic
- The dynamic turn in quantum logic
- The logic of quantum mechanics
This page was built for publication: Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6116356)
