The following pages link to Axiomatizations of team logics (Q2636536):
Displaying 14 items.
- Propositional team logics (Q526967) (← links)
- On the expressive power of TeamLTL and first-order team logic over hyperproperties (Q2148802) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- (Q4681370) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5020523) (← links)
- (Q5155678) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- A Van Benthem Theorem for Modal Team Semantics (Q5351963) (← links)
- (Q5376653) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)