The following pages link to (Q4699335):
Displayed 8 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)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← 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)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
- Henkin quantifiers and the definability of truth (Q5928923) (← links)