Pages that link to "Item:Q476186"
From MaRDI portal
The following pages link to Complexity of two-variable dependence logic and IF-logic (Q476186):
Displaying 9 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Complexity Results for First-Order Two-Variable Logic with Counting (Q4943858) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5013879) (← links)
- (Q5020523) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)