Pages that link to "Item:Q5262488"

The following pages link to Hierarchies in independence and inclusion logic with strict semantics (Q5262488):

Displaying 18 items.

• Hierarchy theorems for \(k\)OBDDs and \(k\)IBDDs (Q1275068) (← links)
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
• Approximation and dependence via multiteam semantics (Q1783737) (← links)
• Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
• Propositional union closed team logics (Q2131275) (← links)
• On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
• The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
• The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
• Hierarchies in Inclusion Logic with Lax Semantics (Q2937394) (← links)
• Hierarchies in Dependence Logic (Q2946680) (← links)
• Hierarchies in independence logic (Q2958527) (← links)
• Extended semantics and inference for the Independent Choice Logic (Q3653144) (← links)
• (Q4230339) (← links)
• (Q5013879) (← links)
• Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)
• Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
• Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
• Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements (Q6165553) (← links)