The following pages link to Modal independence logic: (Q3133166):
Displaying 9 items.
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Independent choices and the interpretation of IF logic (Q1610629) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- (Q3574473) (← links)
- ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC (Q4928773) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
- (Q5232899) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
