Talk:Monadic second-order logic

Monadic_predicate_calculus#Variants contains the statement: "Monadic second-order logic allows predicates of higher arity in formulas, but restricts second-order quantification to unary predicates, i.e. the only second-order variables allowed are subset variables." This seems to contain an important qualification not present in the MOS article: Allowance of other than unary predicates over which quantification is _not_ allowed. Jim Bowery (talk) 15:15, 26 March 2017 (UTC)