Topological Interpretations of Provability Logic (Q5255798): Difference between revisions

@@ Property / cites work @@
+Q3973061
@@ Property / cites work: Q3973061 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection and indescribability in the constructible universe
+Normal rank
@@ Property / cites work @@
+Topological completeness of the provability logic GLP
+Normal rank
@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+Q5483298
@@ Property / cites work: Q5483298 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494229
@@ Property / cites work: Q5494229 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics for provability logic GLP
@@ Property / cites work: Kripke semantics for provability logic GLP / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal Completeness of Bimodal Provability Logic GLB
+Normal rank
@@ Property / cites work @@
+A simplified proof of arithmetical completeness theorem for provability logic GLP
+Normal rank
@@ Property / cites work @@
+Q3081639
@@ Property / cites work: Q3081639 / rank @@
+Normal rank
@@ Property / cites work @@
+A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
+Normal rank
@@ Property / cites work @@
+Some results on modal axiomatization and definability for topological 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 @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+The analytical completeness of Dzhaparidze's polymodal logics
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Worms, gaps, and hydras
@@ Property / cites work: Worms, gaps, and hydras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419879
@@ Property / cites work: Q5419879 / rank @@
+Normal rank
@@ Property / cites work @@
+Models of transfinite provability logic
@@ Property / cites work: Models of transfinite provability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Progressions and Their Well-Orders
@@ Property / cites work: Turing Progressions and Their Well-Orders / rank @@
+Normal rank
@@ Property / cites work @@
+The polytopologies of transfinite provability logic
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Set Theory
@@ Property / cites work: Handbook of Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Some exact equiconsistency results in set theory
@@ Property / cites work: Some exact equiconsistency results in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Grundlagen der Mathematik I
@@ Property / cites work: Grundlagen der Mathematik I / rank @@
+Normal rank
@@ Property / cites work @@
+Provability and interpretability logics with restricted realizations
+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 @@
+On strong provability predicates and the associated modal logics
+Normal rank
@@ Property / cites work @@
+Q3535899
@@ Property / cites work: Q3535899 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivational Modal Logics with the Difference Modality
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's diagonalization technique and related properties of theories
+Normal rank
@@ Property / cites work @@
+Q4121962
@@ Property / cites work: Q4121962 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting stationary sets
@@ Property / cites work: Reflecting stationary sets / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency strength of ``every stationary set reflects''
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5631608
@@ Property / cites work: Q5631608 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological aspects of suitable theories
@@ Property / cites work: Topological aspects of suitable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+PFA implies AD<sup><i>L</i>(ℝ)</sup>
@@ Property / cites work: PFA implies AD<sup><i>L</i>(ℝ)</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+A Grim semantics for logics of belief
@@ Property / cites work: A Grim semantics for logics of belief / rank @@
+Normal rank
@@ Property / cites work @@
+The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
+Normal rank