Pages that link to "Item:Q4636299"
From MaRDI portal
The following pages link to The Expressive Power of Modal Dependence Logic (Q4636299):
Displaying 25 items.
- Propositional logics of dependence (Q278765) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Propositional team logics (Q526967) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- Exemplaric Expressivity of Modal Logics (Q3056297) (← links)
- (Q3574473) (← links)
- Complexity Results for Modal Dependence Logic (Q3586056) (← links)
- Separation logics and modalities: a survey (Q4586138) (← 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)
- On Temporal and Separation Logics (Q5079764) (← links)
- Modal dependence logics: axiomatizations and model-theoretic properties (Q5095630) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Dependency as Question Entailment (Q5213645) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- (Q5232899) (← links)
- (Q5376655) (← links)
- Diversity, dependence and independence (Q5918485) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)
- Dimension in team semantics (Q6620027) (← links)
