Pages that link to "Item:Q4254566"
From MaRDI portal
The following pages link to Construction of Truth Predicates: Approximation Versus Revision (Q4254566):
Displaying 5 items.
- Comparing fixed-point and revision theories of truth (Q839652) (← links)
- Notes on the mathematical aspects of Kripke's theory of truth (Q1073007) (← links)
- Revision without revision sequences: self-referential truth (Q2000672) (← links)
- On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set (Q2778662) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)