The following pages link to (Q2753677):
Displayed 6 items.
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- On logical and concurrent equivalences (Q4917082) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)