Pages that link to "Item:Q3984417"
From MaRDI portal
The following pages link to On the weak Kleene scheme in Kripke's theory of truth (Q3984417):
Displaying 5 items.
- Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- Varieties of self-reference in metamathematics (Q6166124) (← links)