Pages that link to "Item:Q4914522"
From MaRDI portal
The following pages link to Model Checking for Modal Intuitionistic Dependence Logic (Q4914522):
Displayed 5 items.
- Propositional logics of dependence (Q278765) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Propositional team logics (Q526967) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Complexity of Model Checking for Modal Dependence Logic (Q2891371) (← links)