Pages that link to "Item:Q4928773"
From MaRDI portal
The following pages link to ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC (Q4928773):
Displaying 5 items.
- Cooperation in games and epistemic readings of independence-friendly sentences (Q1689283) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- Modeling Monty Hall in If Logic (Q3299843) (← links)
- DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS (Q5177884) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
