A new proof of the McKinsey-Tarski theorem (Q1756601): Difference between revisions

@@ Property / cites work @@
+Reasoning About Space: The Modal Way
@@ Property / cites work: Reasoning About Space: The Modal Way / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
+Normal rank
@@ Property / cites work @@
+KRULL DIMENSION IN MODAL LOGIC
@@ Property / cites work: KRULL DIMENSION IN MODAL LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+MODAL LOGICS OF METRIC SPACES
@@ Property / cites work: MODAL LOGICS OF METRIC SPACES / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of S4 with respect to the real line: revisited
+Normal rank
@@ Property / cites work @@
+Metrization of Topological Spaces
@@ Property / cites work: Metrization of Topological Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+A problem of set-theoretic topology
@@ Property / cites work: A problem of set-theoretic topology / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250039
@@ Property / cites work: Q4250039 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of topological completeness for S4 in \((0,1)\)
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal logics of products of topologies
@@ Property / cites work: Multimodal logics of products of topologies / rank @@
+Normal rank