predicate logic
subfield of logic
first-order logic
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
higher-order logic
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics