The following pages link to (Q5376653):
Displaying 5 items.
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- A Van Benthem Theorem for Modal Team Semantics (Q5351963) (← links)
- Parameterized complexity of weighted team definability (Q6620025) (← links)