Games for Truth (Q3655267): Difference between revisions

@@ Property / OpenAlex ID @@
+W2022740361
@@ Property / OpenAlex ID: W2022740361 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Kripke's theory of truth
@@ Property / cites work: Axiomatizing Kripke's theory of truth / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of formal truth arithmetically equivalent to ID<sub>1</sub>
+Normal rank
@@ Property / cites work @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / 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 @@
+Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction
+Normal rank
@@ Property / cites work @@
+Q4000317
@@ Property / cites work: Q4000317 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+What truth depends on
@@ Property / cites work: What truth depends on / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on naive semantics
@@ Property / cites work: Notes on naive semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A revenge-immune solution to the semantic paradoxes
+Normal rank