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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2273755
@@ Property / full work available at URL: https://doi.org/10.2307/2273755 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2036161385
@@ Property / OpenAlex ID: W2036161385 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3914957