The following pages link to (Q2753677):
Displaying 12 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)
- Explicating logical independence (Q2301324) (← links)
- A Logical Approach to Context-Specific Independence (Q2820693) (← links)
- Independence in dynamically scheduled logic languages (Q2956712) (← links)
- Modal independence logic: (Q3133166) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- The logic of informational independence and finite models (Q4340930) (← links)
- On logical and concurrent equivalences (Q4917082) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- Logical Data Independence Reconsidered (Extended Abstract) (Q5450887) (← links)
