A course on bimodal provability logic (Q1891253): Difference between revisions

@@ Property / cites work @@
+On the complexity of arithmetical interpretations of modal formulae
+Normal rank
@@ Property / cites work @@
+Q4250049
@@ Property / cites work: Q4250049 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially Conservative Extensions of Arithmetic
@@ Property / cites work: Partially Conservative Extensions of Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Provability in finite subtheories of PA and relative interpretability: a modal investigation
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / 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 @@
+Modal analysis of generalized rosser sentences
@@ Property / cites work: Modal analysis of generalized rosser sentences / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128036853
@@ Property / Wikidata QID: Q128036853 / rank @@
+Normal rank