The Henkin Sentence (Q3454817): Difference between revisions

@@ 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/978-3-319-09719-0_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1551171940
@@ Property / OpenAlex ID: W1551171940 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal \(\mu \)-calculus and Gödel-Löb logic
@@ Property / cites work: On modal \(\mu \)-calculus and Gödel-Löb logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of proofs
@@ Property / cites work: Logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis by iterated reflection
@@ Property / cites work: Proof-theoretic analysis by iterated reflection / rank @@
+Normal rank
@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+Q5494229
@@ Property / cites work: Q5494229 / rank @@
+Normal rank
@@ Property / cites work @@
+The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
+Normal rank
@@ Property / cites work @@
+A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability: The emergence of a mathematical modality
+Normal rank
@@ Property / cites work @@
+Q5477944
@@ Property / cites work: Q5477944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5825229
@@ Property / cites work: Q5825229 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit fixed points in interpretability logic
@@ Property / cites work: Explicit fixed points in interpretability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Characters and fixed points in provability logic
@@ Property / cites work: Characters and fixed points in provability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q5202654
@@ Property / cites work: Q5202654 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215636
@@ Property / cites work: Q4215636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5823280
@@ Property / cites work: Q5823280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103079
@@ Property / cites work: Q4103079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3002404
@@ Property / cites work: Q3002404 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability logic—a short introduction
@@ Property / cites work: Provability logic—a short introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Definability theorems in normal extensions of the provability logic
+Normal rank
@@ Property / cites work @@
+A new proof of the fixed-point theorem of provability logic
+Normal rank
@@ Property / cites work @@
+An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
+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 @@
+Q3900021
@@ Property / cites work: Q3900021 / 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 @@
+Arithmetic analogues of McAloon's unique Rosser sentences
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of provability. The sequential approach
+Normal rank
@@ Property / cites work @@
+Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank
@@ Property / cites work @@
+On the completenes principle: A study of provability in heyting's arithmetic and extensions
+Normal rank
@@ Property / cites work @@
+Peano's smart children: A provability logical study of systems with built-in consistency
+Normal rank
@@ Property / cites work @@
+Faith \& falsity
@@ Property / cites work: Faith \& falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank