The following pages link to Hierarchies in independence logic (Q2958527):
Displaying 32 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Independence in higher-order subclassical logic (Q1091385) (← links)
- Hierarchical deduction (Q1098332) (← 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)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
- Modal Inclusion Logic: Being Lax is Simpler than Being Strict (Q2946343) (← links)
- Hierarchies in Dependence Logic (Q2946680) (← links)
- (Q3384878) (← links)
- (Q5013879) (← links)
- (Q5015279) (← links)
- Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← 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)
- On Dependence Logic (Q5249667) (← links)
- Hierarchies in independence and inclusion logic with strict semantics (Q5262488) (← links)
- (Q5376655) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Modular SAT-based techniques for reasoning tasks in team semantics (Q6615313) (← links)
- Dimension in team semantics (Q6620027) (← links)
