On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-013-0349-4
@@ Property / DOI: 10.1007/s00153-013-0349-4 / rank @@
-Normal rank
@@ 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.1007/s00153-013-0349-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1981681786
@@ Property / OpenAlex ID: W1981681786 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / 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 @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
+Normal rank
@@ Property / cites work @@
+Q4354788
@@ Property / cites work: Q4354788 / 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 @@
+No escape from Vardanyan's theorem
@@ Property / cites work: No escape from Vardanyan's theorem / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-013-0349-4
@@ Property / DOI: 10.1007/S00153-013-0349-4 / rank @@
+Normal rank