Lindström quantifiers and higher-order notions on finite structures
Anders Andersson · CERN Document Server (European Organization for Nuclear Research) · 1999
The expressive power of first-order logic is very limited on finite structures. One important way to obtain stronger logics is to add Lindstrom quantifiers, and another is to add higher-order quant ...