Questions concerning predicate calculus, i.e. the logic of quantifiers.

Some well-known formal systems covered by this term are

- first-order logic, containing the quantifiers $\forall$ and $\exists$
- second-order logic
- many-sorted logic
- infinitary logic