Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect

DOI10.1145/3576926OpenAlexW4313476582MaRDI QIDQ6116356

Tsubasa Takagi

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

zbMATH Keywords

simulationmodal logicquantum logicdynamic logicKripke semanticslinear temporal logictransition system

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

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