quantificational logic

noun1

1. •
   The logic of sentences involving quantifiers, predicates, and names; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their quantificational structure.

   • Classical quantificational logic is the logic of quantifiers 'all' and 'some' in combination with truth functions. — 1990