Pages that link to "Item:Q3163660"
From MaRDI portal
The following pages link to Relative Truth Definability of Axiomatic Truth Theories (Q3163660):
Displaying 32 items.
- Classes and truths in set theory (Q450946) (← links)
- Remarks on compositionality and weak axiomatic theories of truth (Q484120) (← links)
- Supervaluation-style truth without supervaluations (Q1633214) (← links)
- Axiomatic theories of partial ground. I: The base theory (Q1749802) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- Truth and reduction (Q1841002) (← links)
- Exact truthmaking as inexact truthmaking by minimal totality facts (Q2086533) (← links)
- On cut-elimination arguments for axiomatic theories of truth (Q2144190) (← links)
- Higher-order logic and disquotational truth (Q2155943) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← links)
- Models of weak theories of truth (Q2402953) (← links)
- Undefinability vs. definability of satisfaction and truth (Q2702739) (← links)
- AXIOMS FOR GROUNDED TRUTH (Q2940867) (← links)
- TRUTH AND SPEED-UP (Q2940877) (← links)
- Autonomous progression and transfinite iteration of self-applicable truth (Q3173533) (← links)
- More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
- About Truth and Types (Q3305551) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- ON A QUESTION OF KRAJEWSKI’S (Q4628685) (← links)
- Does truth equal provability in the maximal theory? (Q4648471) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- (Q5149138) (← links)
- Feferman and the Truth (Q5214789) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- Truth definitions in finite models (Q5311718) (← links)
- NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE (Q5357325) (← links)
- MODELS OF POSITIVE TRUTH (Q5381034) (← links)
- MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE (Q5737967) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)
