Pages that link to "Item:Q5013883"
From MaRDI portal
The following pages link to The expressive power of modal logic with inclusion atoms (Q5013883):
Displaying 10 items.
- Propositional team logics (Q526967) (← links)
- Propositional union closed team logics (Q2131275) (← 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)
- Axiomatizations of team logics (Q2636536) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
- Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- (Q5232899) (← links)
- (Q5376655) (← links)
