Pages that link to "Item:Q4916562"
From MaRDI portal
The following pages link to Characterizing quantifier extensions of dependence logic (Q4916562):
Displaying 9 items.
- Dependence logic with a majority quantifier (Q302214) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- On Strongly First-Order Dependencies (Q5213641) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
- Foundations for entailment checking in quantitative separation logic (Q6166785) (← links)