Second-order Logic
Home
>
Mathematics
>
Mathematical Logic
>
Non-classical Logics
>
Second-order Logic
This extends predicate logic by including quantification over sets, functions, or properties.