TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770): Difference between revisions

@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735758
@@ Property / cites work: Q3735758 / rank @@
+Normal rank
@@ Property / cites work @@
+Topo-canonical completions of closure algebras and Heyting algebras
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+More on \(d\)-logics of subspaces of the rational numbers
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of S4 with respect to the real line: revisited
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532193
@@ Property / cites work: Q4532193 / rank @@
+Normal rank
@@ Property / cites work @@
+Connected modal logics
@@ Property / cites work: Connected modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley rings and Priestley order-compactifications
+Normal rank
@@ Property / cites work @@
+Profinite Heyting algebras
@@ Property / cites work: Profinite Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Euclidean hierarchy in modal logic
@@ Property / cites work: Euclidean hierarchy in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Space: The Modal Way
@@ Property / cites work: Reasoning About Space: The Modal Way / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+The d-logic of the real line
@@ Property / cites work: The d-logic of the real line / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
+Normal rank
@@ Property / cites work @@
+Diodorean modality in Minkowski spacetime
@@ Property / cites work: Diodorean modality in Minkowski spacetime / rank @@
+Normal rank
@@ Property / cites work @@
+Q3257817
@@ Property / cites work: Q3257817 / rank @@
+Normal rank