Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300): Difference between revisions

@@ Property / author @@
-Q266857
@@ Property / author: Q266857 / rank @@
-Normal rank
@@ Property / author @@
+Valentin F. Goranko
@@ Property / author: Valentin F. Goranko / rank @@
+Normal rank
@@ 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.3166/jancl.12.365-397
+Normal rank
@@ Property / OpenAlex ID @@
+W2214237509
@@ Property / OpenAlex ID: W2214237509 / rank @@
+Normal rank
@@ Property / cites work @@
+A ModalWalk Through Space
@@ Property / cites work: A ModalWalk Through Space / 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 @@
+The Modal Multilogic of Geometry
@@ Property / cites work: The Modal Multilogic of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Sylvester's Problem on Collinear Points and a Relative
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3663940
@@ Property / cites work: Q3663940 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation rules as anti-axioms in modal logic
@@ Property / cites work: Derivation rules as anti-axioms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Points, lines and diamonds: a two-sorted modal logic for projective planes
+Normal rank