On the costs of nonclassical logic (Q1749804): Difference between revisions

@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 5
@@ Property / cites work: Handbook of philosophical logic. Vol. 5 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Formal Theories of Truth
@@ Property / cites work: Notes on Formal Theories of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
@@ Property / cites work: AXIOMATIZING SEMANTIC THEORIES OF TRUTH? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Truth Definability of Axiomatic Truth Theories
+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 @@
+Kripke and the logic of truth
@@ Property / cites work: Kripke and the logic of truth / 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 @@
+Q4000317
@@ Property / cites work: Q4000317 / 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 @@
+Provably true sentences across axiomatizations of Kripke's theory of truth
+Normal rank
@@ Property / cites work @@
+Some remarks on extending and interpreting theories with a partial predicate for truth
+Normal rank
@@ Property / cites work @@
+Q4109651
@@ Property / cites work: Q4109651 / rank @@
+Normal rank