The following pages link to (Q4636302):
Displaying 9 items.
- Independent choices and the interpretation of IF logic (Q1610629) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- (Q3574473) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC (Q4928773) (← links)
- The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- (Q5376655) (← links)