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.Gottlob FregeRelated: Frege’s system allowed quantification over concepts, extending logic beyond first-order quantification.Second-order logicNarrower topic: Second-order logic is one level in this broader hierarchy.Description logicCompared with: Its greater expressive power contrasts with description logic's emphasis on decidable reasoning.