On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set (Q2778662): Difference between revisions

@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845457
@@ Property / cites work: Q4845457 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth and paradox
@@ Property / cites work: Truth and paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative revision theories of truth
@@ Property / cites work: Alternative revision theories of truth / rank @@
+Normal rank
@@ Property / cites work @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / rank @@
+Normal rank
@@ Property / cites work @@
+A revision-theoretic analysis of the arithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Eventually infinite time Turing machine degrees: infinite time decidable reals
+Normal rank
@@ Property / cites work @@
+A guide to truth predicates in the modern era
@@ Property / cites work: A guide to truth predicates in the modern era / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000317
@@ Property / cites work: Q4000317 / rank @@
+Normal rank
@@ Property / cites work @@
+Revision Sequences and Computers with an Infinite Amount of Time
+Normal rank
@@ Property / cites work @@
+The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
+Normal rank
@@ Property / cites work @@
+Notes on naive semantics
@@ Property / cites work: Notes on naive semantics / rank @@
+Normal rank