PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089): Difference between revisions

@@ Property / DOI @@
-.1017/jsl.2018.27
@@ Property / DOI: 10.1017/jsl.2018.27 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/jsl.2018.27
+Normal rank
@@ Property / OpenAlex ID @@
+W2897528026
@@ Property / OpenAlex ID: W2897528026 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912553
@@ Property / cites work: Q3912553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731573
@@ Property / cites work: Q3731573 / 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 @@
+Consistency statements in formal theories
@@ Property / cites work: Consistency statements in formal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
+Normal rank
@@ Property / cites work @@
+Q4437331
@@ Property / cites work: Q4437331 / 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 @@
+Four valued semantics and the Liar
@@ Property / cites work: Four valued semantics and the Liar / rank @@
+Normal rank
@@ Property / cites work @@
+Faith \& falsity
@@ Property / cites work: Faith \& falsity / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2018.27
@@ Property / DOI: 10.1017/JSL.2018.27 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4692089