STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222): Difference between revisions

@@ Property / cites work @@
+Q3973061
@@ Property / cites work: Q3973061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483298
@@ Property / cites work: Q5483298 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological completeness of the provability logic GLP
+Normal rank
@@ Property / cites work @@
+Topological Interpretations of Provability Logic
@@ Property / cites work: Topological Interpretations of Provability Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
+Normal rank
@@ Property / cites work @@
+Scattered and hereditarily irresolvable spaces in modal logic
+Normal rank
@@ Property / cites work @@
+Infinitary combinatorics and modal logic
@@ Property / cites work: Infinitary combinatorics and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The polytopologies of transfinite provability logic
+Normal rank
@@ Property / cites work @@
+Models of transfinite provability logic
@@ Property / cites work: Models of transfinite provability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperations, Veblen progressions and transfinite iteration of ordinal functions
+Normal rank
@@ Property / cites work @@
+A Topological Study of the Closed Fragment of GLP
@@ Property / cites work: A Topological Study of the Closed Fragment of GLP / rank @@
+Normal rank
@@ Property / cites work @@
+Q5202654
@@ Property / cites work: Q5202654 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal logics of products of topologies
@@ Property / cites work: Multimodal logics of products of topologies / rank @@
+Normal rank