Pages that link to "Item:Q2699016"
From MaRDI portal
The following pages link to Notes on models of (partial) Kripke-Feferman truth (Q2699016):
Displaying 7 items.
- Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth (Q2856063) (← links)
- (Q3067391) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- A Note on Linear Kripke Models (Q5696304) (← links)