Pages that link to "Item:Q2361348"
From MaRDI portal
The following pages link to Dependence logic with generalized quantifiers: axiomatizations (Q2361348):
Displaying 11 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Dependence logic with a majority quantifier (Q2911629) (← links)
- Correspondence and Completeness for Generalized Quantifiers (Q4842271) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)
- (Q5020523) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)