Pages that link to "Item:Q1956378"
From MaRDI portal
The following pages link to Complexity results for modal dependence logic (Q1956378):
Displaying 16 items.
- Propositional logics of dependence (Q278765) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← 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)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
- (Q5376655) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
