Pages that link to "Item:Q645985"
From MaRDI portal
The following pages link to Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985):
Displayed 14 items.
- Model-checking games for logics of imperfect information (Q391101) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
- Upwards closed dependencies in team semantics (Q897651) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Dependence and independence (Q1956372) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- Modal Inclusion Logic: Being Lax is Simpler than Being Strict (Q2946343) (← links)
- Frame Theory, Dependence Logic and Strategies (Q3455191) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)
- On Dependence Logic (Q5249667) (← links)