The following pages link to (Q4699335):
Displayed 6 items.
- A remark on Henkin sentences and their contraries (Q558741) (← links)
- Truth and definite truth (Q598266) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
- Thompson transformations for IF-logic (Q2500828) (← links)
- Henkin quantifiers and the definability of truth (Q5928923) (← links)