Correspondence between Kripke frames and projective geometries (Q1708104): Difference between revisions

@@ Property / cites work @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Modal Multilogic of Geometry
@@ Property / cites work: The Modal Multilogic of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for incidence geometries
@@ Property / cites work: Modal logics for incidence geometries / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics for Parallelism, Orthogonality, and Affine Geometries
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for quantum actions
@@ Property / cites work: Complete axiomatizations for quantum actions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732018
@@ Property / cites work: Q5732018 / 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 @@
+Q4276278
@@ Property / cites work: Q4276278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3766390
@@ Property / cites work: Q3766390 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of the minimal logic of quantum mechanics
+Normal rank
@@ Property / cites work @@
+Dualities for infinite-dimensional projective geometries
+Normal rank
@@ Property / cites work @@
+Q4506478
@@ Property / cites work: Q4506478 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+Orthogonality spaces and atomistic orthocomplemented lattices
+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 @@
+Q5427872
@@ Property / cites work: Q5427872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702812
@@ Property / cites work: Q3702812 / rank @@
+Normal rank
@@ Property / cites work @@
+Points, lines and diamonds: a two-sorted modal logic for projective planes
+Normal rank