Pages that link to "Item:Q1693039"

The following pages link to Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039):

Displaying 12 items.

• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
• Safe dependency atoms and possibility operators in team semantics (Q2029599) (← 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)
• Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
• The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
• (Q3384878) (← links)
• (Q5020523) (← links)
• Dependency Concepts up to Equivalence. (Q5079749) (← links)
• Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
• Expressivity and Complexity of Dependence Logic (Q5213639) (← links)