Pages that link to "Item:Q5918342"
From MaRDI portal
The following pages link to Independence-friendly logic without Henkin quantification (Q5918342):
Displaying 6 items.
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← 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)
- DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS (Q5177884) (← links)