The following pages link to Team building in dependence (Q2958518):
Displaying 8 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Model-checking games for logics of imperfect information (Q391101) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- Expressing second-order sentences in intuitionistic dependence logic (Q1956373) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Team-based reconstruction for expanding organisational ability (Q4678481) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)