Second Order Logic

Second order logic is an extension of first order logic that reasons about predicates. Recall that one of the main features of first order logic over propositional logic, was the ability to quantify over elements that are in the universe of the structure. Second order logic not only allows one quantify over elements of the universe, but in addition, also allows quantifying relations over the universe.