AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187): Difference between revisions

@@ Property / cites work @@
+Q5104696
@@ Property / cites work: Q5104696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743302
@@ Property / cites work: Q3743302 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Kripke models and predicate logics of provability
+Normal rank
@@ Property / cites work @@
+Q5494229
@@ Property / cites work: Q5494229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419872
@@ Property / cites work: Q5419872 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive provability logic for uniform reflection principles
+Normal rank
@@ Property / cites work @@
+A Note on Strictly Positive Logics and Word Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Reflection algebras and conservation results for theories of iterated truth
+Normal rank
@@ Property / cites work @@
+Q4732443
@@ Property / cites work: Q4732443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+The degree of the set of sentences of predicate provability logic that are true under every interpretation
+Normal rank
@@ Property / cites work @@
+Q2882459
@@ Property / cites work: Q2882459 / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatizability within a system
@@ Property / cites work: On axiomatizability within a system / rank @@
+Normal rank
@@ Property / cites work @@
+On the positive fragment of the polymodal provability logic GLP
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Q4179016
@@ Property / cites work: Q4179016 / rank @@
+Normal rank
@@ Property / cites work @@
+Refining the arithmetical hierarchy of classical principles
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+An Arithmetically Complete Predicate Modal Logic
@@ Property / cites work: An Arithmetically Complete Predicate Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
+Normal rank
@@ Property / cites work @@
+On predicate provability logics and binumerations of fragments of Peano arithmetic
+Normal rank
@@ Property / cites work @@
+On inclusions between quantified provability logics
+Normal rank
@@ Property / cites work @@
+Q2904059
@@ Property / cites work: Q2904059 / rank @@
+Normal rank
@@ Property / cites work @@
+The predicate modal logic of provability
@@ Property / cites work: The predicate modal logic of provability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085172
@@ Property / cites work: Q3085172 / 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 @@
+Q3760514
@@ Property / cites work: Q3760514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3816054
@@ Property / cites work: Q3816054 / rank @@
+Normal rank
@@ Property / cites work @@
+No escape from Vardanyan's theorem
@@ Property / cites work: No escape from Vardanyan's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Provability logic and the completeness principle
@@ Property / cites work: Provability logic and the completeness principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430390
@@ Property / cites work: Q4430390 / rank @@
+Normal rank