Pages that link to "Item:Q2891371"
From MaRDI portal
The following pages link to Complexity of Model Checking for Modal Dependence Logic (Q2891371):
Displayed 7 items.
- Propositional logics of dependence (Q278765) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Propositional team logics (Q526967) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- (Q5376655) (← links)