Characterizing Definability of Second-Order Generalized Quantifiers

DOI10.1007/978-3-642-20920-8_20zbMath1328.03041OpenAlexW1488995571MaRDI QIDQ3003360

Jakub Szymanik, Juha Kontinen

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_20

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Related Items (1)

On the identification of quantifiers' witness sets: a study of multi-quantifier sentences

This page was built for publication: Characterizing Definability of Second-Order Generalized Quantifiers