The following pages link to Team Logic and Second-Order Logic (Q5894359):
Displaying 16 items.
- Propositional team logics (Q526967) (← links)
- Expressing second-order sentences in intuitionistic dependence logic (Q1956373) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On the expressive power of TeamLTL and first-order team logic over hyperproperties (Q2148802) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Classical negation and game-theoretical semantics (Q2258540) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5015279) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Logics with probabilistic team semantics and the Boolean negation (Q6545573) (← links)
