The following pages link to Team Logic and Second-Order Logic (Q5902156):
Displaying 14 items.
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- Upwards closed dependencies in team semantics (Q897651) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- (Q3384878) (← links)
- On Strongly First-Order Dependencies (Q5213641) (← links)
- (Q5232899) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918401) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
