The Expressive Power of Finitely Many Generalized Quantifiers

• 1 December 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 123  (2) , 172-184
• https://doi.org/10.1006/inco.1995.1166

Abstract

Keywords

• EXPRESSIVE POWER
• FIRST ORDER LOGIC