The following pages link to Axiomatizations of team logics (Q2636536):
Displaying 6 items.
- On the expressive power of TeamLTL and first-order team logic over hyperproperties (Q2148802) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
