Correspondence and Completeness for Generalized Quantifiers

DOI10.1093/JIGPAL/3.2-3.167zbMath0842.03032OpenAlexW2075722305MaRDI QIDQ4842271

Natasha Alechina, Michiel Marian Michiel van Lambalgen

Publication date: 24 July 1996

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/792c32fdb747a548affd01c4da11252db0e38462

zbMATH Keywords

completenessgeneralized quantifierextensionalityrelational modelsSahlqvist theoremfirst order conditionsimplicit dependencies between variables

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Related Items (3)

On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic ⋮ Generalized quantification as substructural logic ⋮ Modal languages and bounded fragments of predicate logic

This page was built for publication: Correspondence and Completeness for Generalized Quantifiers