Pages that link to "Item:Q2273014"
From MaRDI portal
The following pages link to The expressive power of \(k\)-ary exclusion logic (Q2273014):
Displaying 4 items.
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Hierarchies in independence logic (Q2958527) (← links)
