The following pages link to Kripke and the logic of truth (Q1107507):
Displaying 27 items.
- Non-classical elegance for sequent calculus enthusiasts (Q519853) (← links)
- Tarskian and Kripkean truth (Q676185) (← 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)
- The strong completeness of a system based on Kleene's strong three-valued logic (Q1893137) (← 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)
- A defense the Kripkean account of logical truth in first-order modal logic (Q2572385) (← 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)
- Von Wright's truth-logic and around (Q2856048) (← links)
- Conservatively extending classical logic with transparent truth (Q2890700) (← links)
- On the weak Kleene scheme in Kripke's theory of truth (Q3984417) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← 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)
- Categoricity problem for LP and K3 (Q6642825) (← links)
