The following pages link to Hierarchies in Dependence Logic (Q2946680):
Displaying 32 items.
- Dependence logic with a majority quantifier (Q302214) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
- Hierarchical deduction (Q1098332) (← links)
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Reasoning about functional and full hierarchical dependencies over partial relations (Q2446453) (← links)
- The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
- Hierarchies in independence logic (Q2958527) (← links)
- Hierarchical logical consequence (Q3119162) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- (Q3384878) (← links)
- Dependently Sorted Logic (Q3499748) (← links)
- (Q4230339) (← links)
- (Q5013879) (← links)
- (Q5187044) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- On Strongly First-Order Dependencies (Q5213641) (← links)
- Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
- On Dependence Logic (Q5249667) (← links)
- Hierarchies in independence and inclusion logic with strict semantics (Q5262488) (← links)
- Hierarchical Organisation of Predicate-Semantic Models (Q5307480) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)
- Dimension in team semantics (Q6620027) (← links)
