Pages that link to "Item:Q4141237"
From MaRDI portal
The following pages link to Some model theory for monotone quantifiers (Q4141237):
Displaying 10 items.
- On simplicity of formulas (Q757354) (← links)
- Algebraic analysis of the logic with the quantifier ''there exist uncountably many'' (Q1076011) (← links)
- Problemi di decidibilita in logica topologica (Q1255489) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- Topological model theory with an interior operator: Consistency properties and back — and forth arguments (Q3926559) (← links)
- The theorems of beth and Craig in abstract model theory II. Compact logics (Q3926560) (← links)
- Interpolation in Logiken monotoner systeme (Q4745811) (← links)