Pages that link to "Item:Q1956373"
From MaRDI portal
The following pages link to Expressing second-order sentences in intuitionistic dependence logic (Q1956373):
Displaying 6 items.
- Propositional logics of dependence (Q278765) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
