THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE (Q3550704): Difference between revisions

@@ Property / cites work @@
+Intuitionistic logic and modality via topology
@@ Property / cites work: Intuitionistic logic and modality via topology / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Some results on modal axiomatization and definability for topological spaces
+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 @@
+Metrizable compactification of \(\omega\) is unique
+Normal rank