Pages that link to "Item:Q4916562"
From MaRDI portal
The following pages link to Characterizing quantifier extensions of dependence logic (Q4916562):
Displaying 7 items.
- Dependence logic with a majority quantifier (Q302214) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← 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)
