Pages that link to "Item:Q526739"
From MaRDI portal
The following pages link to Notes on the computational aspects of Kripke's theory of truth (Q526739):
Displaying 5 items.
- Some notes on truths and comprehension (Q722023) (← links)
- Notes on the mathematical aspects of Kripke's theory of truth (Q1073007) (← links)
- Notes on Leitgeb's Ruitenburg (Q2027211) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)