The following pages link to Kripke and the logic of truth (Q1107507):
Displayed 13 items.
- Non-classical elegance for sequent calculus enthusiasts (Q519853) (← links)
- Comparing fixed-point and revision theories of truth (Q839652) (← links)
- Two types of deflationism (Q1024123) (← links)
- Supervaluation fixed-point logics of truth (Q1029817) (← links)
- Some supervaluation-based consequence relations (Q1404387) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- How truth behaves when there's no vicious reference (Q1959327) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Adding a conditional to Kripke's theory of truth (Q2397814) (← links)
- CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH (Q2890700) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)