Pages that link to "Item:Q515658"
From MaRDI portal
The following pages link to Complexity of validity for propositional dependence logics (Q515658):
Displayed 8 items.
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Team semantics for the specification and verification of hyperproperties (Q5005106) (← links)
- (Q5232899) (← links)
- (Q5376655) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)