Keywords

#second-order_logic

Second-order logic

Form of logic that allows quantification over predicates

In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory.

Mon 1st

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Second-order logic Monadic second-order logic Higher-order logic First-order logic Second-order propositional logic Propositional calculus Philosophy of logic Consistency Decidability (logic) Descriptive complexity theory
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.