The following pages link to (Q3574468):
Displayed 7 items.
- Model-checking games for logics of imperfect information (Q391101) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- Games for Inclusion Logic and Fixed-Point Logic (Q5213642) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)