Rosser provability and normal modal logics (Q2186698): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2906571182
@@ Property / OpenAlex ID: W2906571182 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09735
@@ Property / arXiv ID: 1812.09735 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability conditions on Rosser's provability predicates
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+UNIVERSAL ROSSER PREDICATES
@@ Property / cites work: UNIVERSAL ROSSER PREDICATES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103079
@@ Property / cites work: Q4103079 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
+Normal rank
@@ Property / cites work @@
+Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
+Normal rank
@@ Property / cites work @@
+Q4437331
@@ Property / cites work: Q4437331 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
+Normal rank
@@ Property / cites work @@
+Modal tableau calculi and interpolation
@@ Property / cites work: Modal tableau calculi and interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+The fixed point property in modal logic
@@ Property / cites work: The fixed point property in modal logic / 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 @@
+A smart child of Peano's
@@ Property / cites work: A smart child of Peano's / 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 @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal 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:2186698