Pages that link to "Item:Q5351963"
From MaRDI portal
The following pages link to A Van Benthem Theorem for Modal Team Semantics (Q5351963):
Displayed 14 items.
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- (Q5232899) (← links)