Pages that link to "Item:Q5000260"
From MaRDI portal
The following pages link to THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260):
Displaying 9 items.
- Toward predicate approaches to modality (Q495650) (← links)
- The knower paradox in the light of provability interpretations of modal logic (Q1778104) (← links)
- A defense the Kripkean account of logical truth in first-order modal logic (Q2572385) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- (Q2767185) (← links)
- Truth in a Logic of Formal Inconsistency: How classical can it get? (Q3386894) (← links)
- MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH (Q3580671) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)