Bimodal logics for extensions of arithmetical theories (Q4879903): Difference between revisions

@@ Property / author @@
-Q300551
@@ Property / author: Q300551 / rank @@
-Normal rank
@@ Property / author @@
+Lev D. Beklemishev
@@ Property / author: Lev D. Beklemishev / 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.2307/2275600
@@ Property / full work available at URL: https://doi.org/10.2307/2275600 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2165953467
@@ Property / OpenAlex ID: W2165953467 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of arithmetic
@@ Property / cites work: Fragments of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+A smart child of Peano's
@@ Property / cites work: A smart child of Peano's / rank @@
+Normal rank
@@ Property / cites work @@
+On Rosser's Provability Predicate
@@ Property / cites work: On Rosser's Provability Predicate / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's Second Theorem for Elementary arithmetic
@@ Property / cites work: Gödel's Second Theorem for Elementary arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Provability in finite subtheories of PA and relative interpretability: a modal investigation
+Normal rank
@@ Property / cites work @@
+Modal logics with several operators and probability interpretations
+Normal rank
@@ Property / cites work @@
+The analytical completeness of Dzhaparidze's polymodal logics
+Normal rank
@@ Property / cites work @@
+On the provability logic of bounded arithmetic
@@ Property / cites work: On the provability logic of bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank
@@ Property / cites work @@
+On bimodal logics of provability
@@ Property / cites work: On bimodal logics of provability / rank @@
+Normal rank
@@ Property / cites work @@
+A course on bimodal provability logic
@@ Property / cites work: A course on bimodal provability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Peano's smart children: A provability logical study of systems with built-in consistency
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4879903