Pages that link to "Item:Q2849427"
From MaRDI portal
The following pages link to Extended Modal Dependence Logic $\mathcal{EMDL}$ (Q2849427):
Displaying 19 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)
- E2: A new logic model for MVL relations (Q1431903) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Dependency as Question Entailment (Q5213645) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- (Q5232899) (← links)
- (Q5376655) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)