Pages that link to "Item:Q1610629"
From MaRDI portal
The following pages link to Independent choices and the interpretation of IF logic (Q1610629):
Displayed 11 items.
- On the formal semantics of IF-like logics (Q980942) (← links)
- Cooperation in games and epistemic readings of independence-friendly sentences (Q1689283) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- Classical negation and game-theoretical semantics (Q2258540) (← 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)
- Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications (Q3299589) (← links)
- ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC (Q4928773) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)