Pages that link to "Item:Q1093626"
From MaRDI portal
The following pages link to Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626):
Displaying 25 items.
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- Truth and meaning (Q908898) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- Norms of truth and logical revision (Q1708460) (← links)
- Minimalism and the generalisation problem: on Horwich's second solution (Q1709090) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- Levels of truth (Q1903585) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- Truth and the Liar (Q2909751) (← links)
- MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN (Q2940876) (← links)
- A theory of formal truth arithmetically equivalent to ID<sub>1</sub> (Q3197819) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- Disquotational truth and analyticity (Q4328846) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH (Q5850987) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- On meaningfulness and truth (Q5928921) (← links)
- A Kripkean approach to unknowability and truth (Q5937827) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
- The substitutional analysis of logical consequence (Q6495237) (← links)
