Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
From MaRDI portal
Publication:6116356
DOI10.1145/3576926OpenAlexW4313476582MaRDI QIDQ6116356
Publication date: 18 July 2023
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3576926
simulationmodal logicquantum logicdynamic logicKripke semanticslinear temporal logictransition system
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The dynamic turn in quantum logic
- Duality for the logic of quantum actions
- Quantum logic as a dynamic logic
- Lexicographic orthogonality
- Complete axiomatizations for quantum actions
- The conditional in quantum logic
- Quantum logic in algebraic approach
- Semantic analysis of orthologic
- Extended quantum logic
- Correspondence between Kripke frames and projective geometries
- On the modal logic of the non-orthogonality relation between quantum states
- Advanced Kripke frame for quantum logic
- Termination of nondeterministic quantum programs
- Implication connectives in orthomodular lattices
- Semantics of the minimal logic of quantum mechanics
- The logic of quantum mechanics
- Quantum Probabilistic Dyadic Second-Order Logic
- QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
- DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
- LQP: the dynamic logic of quantum information
- Some theorems about the sentential calculi of Lewis and Heyting
- Integrated Formal Methods
This page was built for publication: Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect