On the modal logic of the non-orthogonality relation between quantum states (Q1711507): Difference between revisions

@@ Property / cites work @@
+Complete axiomatizations for quantum actions
@@ Property / cites work: Complete axiomatizations for quantum actions / 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 @@
+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 @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for diffusion in social networks
@@ Property / cites work: A logic for diffusion in social networks / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of the minimal logic of quantum mechanics
+Normal rank
@@ Property / cites work @@
+Q5756997
@@ Property / cites work: Q5756997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3529415
@@ Property / cites work: Q3529415 / rank @@
+Normal rank
@@ Property / cites work @@
+Lexicographic orthogonality
@@ Property / cites work: Lexicographic orthogonality / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+The Stone Space of an Ortholattice
@@ Property / cites work: The Stone Space of an Ortholattice / rank @@
+Normal rank
@@ Property / cites work @@
+Orthomodularity is not elementary
@@ Property / cites work: Orthomodularity is not elementary / rank @@
+Normal rank
@@ Property / cites work @@
+Orthogonality spaces and atomistic orthocomplemented lattices
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke incomplete logics containing KTB
@@ Property / cites work: Kripke incomplete logics containing KTB / rank @@
+Normal rank
@@ Property / cites work @@
+Q4882483
@@ Property / cites work: Q4882483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in the Community
@@ Property / cites work: Logic in the Community / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702812
@@ Property / cites work: Q3702812 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence between Kripke frames and projective geometries
+Normal rank