KnowraSecond-order logicLinked fromLinked fromThe 13 pages that link to Second-order logic, each with the reason it gives.All 13Broader topic 2Related 2Narrower topic 1Compared with 8Predicate logicBroader topic: It expands first-order predicate logic by quantifying over properties and relations.Higher-order logicBroader topic: It is the most familiar level in the hierarchy of higher-order logics.