In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infi... More

First-order logic is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. More

In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. More

In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, somet... More