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 1Description logicCompared with: Its greater expressive power contrasts with description logic's emphasis on decidable reasoning.