In this chapter we want to consider various essential extensions of first-order languages in which the formulas are still of finite length. In particular, we shall consider higher-order logic, ω-logic, and cardinality quantifiers.
KeywordsRelation Symbol Finitary Extension Existential Quantifier Type Language Type Symbol
Unable to display preview. Download preview PDF.
- 4.Läuchli, H. A decision procedure for the weak second-order theory of linear order. In Contrib. math. logic. Amsterdam: North-Holland (1968), 189–197.Google Scholar