Pages that link to "Item:Q2849428"
From MaRDI portal
The following pages link to Dependence Logic with Generalized Quantifiers: Axiomatizations (Q2849428):
Displaying 7 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)