Predicate logic is is collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic and Higher-order logic both incorporate predicate logic.
References
- First-order logic. (2023, May 26). In Wikipedia. Link
- Higher-order logic. (2023, May 13)
Link