Pages that link to "Item:Q2273015"
From MaRDI portal
The following pages link to Characterising modal definability of team-based logics via the universal modality (Q2273015):
Displaying 9 items.
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- (Q2947466) (redirect page) (← links)
- Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)
- A Van Benthem Theorem for Modal Team Semantics (Q5351963) (← links)
- (Q5376653) (← links)