Alternative logical systems and higher-order logics introduce new forms of quantification beyond the standard existential and universal quantifiers.
Judged against reference works: claims of this kind are settled by reference works, not journal abstracts.