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 50 items.
- A logical approach to context-specific independence (Q122510) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← links)
- 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)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Propositional team logics (Q526967) (← 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)
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Dependence and independence (Q1956372) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Characterizing counterfactuals and dependencies over (generalized) causal teams (Q2080697) (← links)
- The implication problem for functional dependencies and variants of marginal distribution equivalences (Q2103913) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On the expressive power of TeamLTL and first-order team logic over hyperproperties (Q2148802) (← links)
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence (Q2172822) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- On the Presburger fragment of logics with multiteam semantics (Q2172824) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- A Logical Approach to Context-Specific Independence (Q2820693) (← links)
- The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- Modal Inclusion Logic: Being Lax is Simpler than Being Strict (Q2946343) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- (Q3384878) (← links)
- Frame Theory, Dependence Logic and Strategies (Q3455191) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)