Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect (Q6116356): Difference between revisions

@@ Property / cites work @@
+Quantum Probabilistic Dyadic Second-Order Logic
@@ Property / cites work: Quantum Probabilistic Dyadic Second-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for quantum actions
@@ Property / cites work: Complete axiomatizations for quantum actions / rank @@
+Normal rank
@@ Property / cites work @@
+LQP: the dynamic logic of quantum information
@@ Property / cites work: LQP: the dynamic logic of quantum information / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic as a dynamic logic
@@ Property / cites work: Quantum logic as a dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The dynamic turn in quantum logic
@@ Property / cites work: The dynamic turn in quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
+Normal rank
@@ Property / cites work @@
+Duality for the logic of quantum actions
@@ Property / cites work: Duality for the logic of quantum actions / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
@@ Property / cites work: DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated Formal Methods
@@ Property / cites work: Integrated Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of the minimal logic of quantum mechanics
+Normal rank
@@ Property / cites work @@
+Lexicographic orthogonality
@@ Property / cites work: Lexicographic orthogonality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4754492
@@ Property / cites work: Q4754492 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+The conditional in quantum logic
@@ Property / cites work: The conditional in quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Implication connectives in orthomodular lattices
@@ Property / cites work: Implication connectives in orthomodular lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced Kripke frame for quantum logic
@@ Property / cites work: Advanced Kripke frame for quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of nondeterministic quantum programs
@@ Property / cites work: Termination of nondeterministic quantum programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3560845
@@ Property / cites work: Q3560845 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Quantum logic in algebraic approach
@@ Property / cites work: Quantum logic in algebraic approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q5826968
@@ Property / cites work: Q5826968 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended quantum logic
@@ Property / cites work: Extended quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence between Kripke frames and projective geometries
+Normal rank
@@ Property / cites work @@
+On the modal logic of the non-orthogonality relation between quantum states
+Normal rank