The following pages link to Kripke and the logic of truth (Q1107507):
Displayed 20 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)
- Paradoxical hypodoxes (Q2052643) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Adding a conditional to Kripke's theory of truth (Q2397814) (← links)
- One step is enough (Q2679573) (← links)
- Monstrous content and the bounds of discourse (Q2686088) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← 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)
- Systems for non-reflexive consequence (Q6067744) (← links)
- The liar paradox and ``meaningless'' revenge (Q6191136) (← links)