KnowraHigher-order logicLinked fromLinked fromThe 5 pages that link to Higher-order logic, each with the reason it gives.All 5Related 1Narrower topic 3Compared with 1First-order logicNarrower topic: First-order logic is the lowest-order member of this broader family of logical systems.Predicate logicNarrower topic: Predicate logic is commonly contrasted with these systems because its quantifiers range over objects.Second-order logicNarrower topic: Second-order logic is one level in this broader hierarchy.