Pages that link to "Item:Q4608623"
From MaRDI portal
The following pages link to Decidability of predicate logics with team semantics (Q4608623):
Displayed 10 items.
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5020523) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Strongly first order, domain independent dependencies: the union-closed case (Q6160748) (← links)