Pages that link to "Item:Q2891371"
From MaRDI portal
The following pages link to Complexity of Model Checking for Modal Dependence Logic (Q2891371):
Displaying 10 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)
- The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- (Q5376655) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
