Pages that link to "Item:Q2946343"
From MaRDI portal
The following pages link to Modal Inclusion Logic: Being Lax is Simpler than Being Strict (Q2946343):
Displaying 10 items.
- Axiomatizations of team logics (Q2636536) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- Modal Inclusion Logic: Being Lax is Simpler than Being Strict (Q2946343) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
- (Q5015279) (← 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)
- (Q5376655) (← links)
