Pages that link to "Item:Q897651"
From MaRDI portal
The following pages link to Upwards closed dependencies in team semantics (Q897651):
Displaying 11 items.
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On the Presburger fragment of logics with multiteam semantics (Q2172824) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5020523) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- (Q5232899) (← links)
