The following pages link to (Q4995356):
Displaying 12 items.
- Propositional logics of dependence (Q278765) (← links)
- Propositional team logics (Q526967) (← links)
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- A fragment of dependence logic capturing polynomial time (Q2878749) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- Complexity Results for Modal Dependence Logic (Q3586056) (← links)
- The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
- (Q5015279) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- (Q5376655) (← links)
- Computer Science Logic (Q5394588) (← links)
