On the proof theory of the modal logic for arithmetic provability (Q3914957): Difference between revisions

@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection principles and iterated consistency assertions
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+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 @@
+Failures of the interpolation lemma in quantified modal logic
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank