Pages that link to "Item:Q5005127"
From MaRDI portal
The following pages link to On the complexity of team logic and its two-variable fragment (Q5005127):
Displaying 6 items.
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- (Q3384878) (← links)
- Complexity of Propositional Logics in Team Semantic (Q4608724) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)