Pages that link to "Item:Q5259720"
From MaRDI portal
The following pages link to INFINITARY TABLEAU FOR SEMANTIC TRUTH (Q5259720):
Displaying 6 items.
- Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- A note on Horwich's notion of grounding (Q2055904) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- (Q3464622) (← links)
- (Q4249025) (← links)