The dynamic turn in quantum logic (Q383006): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-011-9915-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2078710420
@@ Property / OpenAlex ID: W2078710420 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4239959
@@ Property / cites work: Q4239959 / 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 @@
+A dynamic-logical perspective on quantum behavior
@@ Property / cites work: A dynamic-logical perspective on quantum behavior / 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 @@
+Correlated knowledge: an epistemic-logic view on quantum entanglement
+Normal rank
@@ Property / cites work @@
+Q5711870
@@ Property / cites work: Q5711870 / rank @@
+Normal rank
@@ Property / cites work @@
+The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
+Normal rank
@@ Property / cites work @@
+On a duality of quantales emerging from an operational resolution
+Normal rank
@@ Property / cites work @@
+Reasoning in quantum theory. Sharp and unsharp quantum logics.
+Normal rank
@@ Property / cites work @@
+Semantics of the minimal logic of quantum mechanics
+Normal rank
@@ Property / cites work @@
+Q2964096
@@ Property / cites work: Q2964096 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational Statistics. I. Basic Concepts
@@ Property / cites work: Operational Statistics. I. Basic Concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3414345
@@ Property / cites work: Q3414345 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+Orthomodularity is not elementary
@@ Property / cites work: Orthomodularity is not elementary / rank @@
+Normal rank
@@ Property / cites work @@
+Q2998388
@@ Property / cites work: Q2998388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Traditional logic, modern logic and natural language
+Normal rank
@@ Property / cites work @@
+Q5571633
@@ Property / cites work: Q5571633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice theoretic background of the dimension theory of operator algebras
+Normal rank
@@ Property / cites work @@
+Q3229441
@@ Property / cites work: Q3229441 / rank @@
+Normal rank
@@ Property / cites work @@
+Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms
+Normal rank
@@ Property / cites work @@
+On state spaces and property lattices
@@ Property / cites work: On state spaces and property lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5516132
@@ Property / cites work: Q5516132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational statistics. II. Manuals of operations and their logics
+Normal rank
@@ Property / cites work @@
+Q2851835
@@ Property / cites work: Q2851835 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of hilbert spaces by orthomodular spaces
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3007288
@@ Property / cites work: Q3007288 / rank @@
+Normal rank