The following pages link to (Q5755192):
Displaying 6 items.
- Dependence of variables construed as an atomic formula (Q636322) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← 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)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
