Pages that link to "Item:Q5928923"
From MaRDI portal
The following pages link to Henkin quantifiers and the definability of truth (Q5928923):
Displaying 5 items.
- Truth and definite truth (Q598266) (← links)
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
- Undefinability vs. definability of satisfaction and truth (Q2702739) (← links)
- (Q4395559) (← links)
- The enumerative character of Tarski's definition of truth and its general character in a Tarskian system (Q5931296) (← links)