THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3096465156
@@ Property / OpenAlex ID: W3096465156 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07275
@@ Property / arXiv ID: 2004.07275 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912779
@@ Property / cites work: Q3912779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464621
@@ Property / cites work: Q3464621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+On the weak Kleene scheme in Kripke's theory of truth
+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 @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4992398
@@ Property / cites work: Q4992398 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic of a Truth Definition for Finite Models*
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMS FOR DETERMINATENESS AND TRUTH
@@ Property / cites work: AXIOMS FOR DETERMINATENESS AND TRUTH / 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 @@
+An axiomatic approach to self-referential truth
@@ Property / cites work: An axiomatic approach to self-referential truth / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Truth Definability of Axiomatic Truth Theories
+Normal rank
@@ Property / cites work @@
+Q4845457
@@ Property / cites work: Q4845457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+A system of complete and consistent truth
@@ Property / cites work: A system of complete and consistent truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / 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 @@
+Q4395141
@@ Property / cites work: Q4395141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / 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 @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Q3760496
@@ Property / cites work: Q3760496 / 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 @@
+Q2901198
@@ Property / cites work: Q2901198 / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of Belnapian modal logics: Special extensions and counterparts
+Normal rank
@@ Property / cites work @@
+BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
+Normal rank
@@ Property / cites work @@
+Solovay's completeness without fixed points
@@ Property / cites work: Solovay's completeness without fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / 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 @@
+Notes on the computational aspects of Kripke's theory of truth
+Normal rank
@@ Property / cites work @@
+SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS
@@ Property / cites work: SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Toward predicate approaches to modality
@@ Property / cites work: Toward predicate approaches to modality / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4342078
@@ Property / cites work: Q4342078 / rank @@
+Normal rank