Pages that link to "Item:Q2937394"
From MaRDI portal
The following pages link to Hierarchies in Inclusion Logic with Lax Semantics (Q2937394):
Displayed 13 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)
- 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)
- The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
- (Q3384878) (← links)
- (Q4691735) (redirect page) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← 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)