Pages that link to "Item:Q4842271"
From MaRDI portal
The following pages link to Correspondence and Completeness for Generalized Quantifiers (Q4842271):
Displaying 6 items.
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- Generalized quantification as substructural logic (Q5687328) (← links)