higher-order logic (Q1644136)
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics
Language:
other details
aliases HOL
 higher order simple predicate logic
description form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics

External Links
(P646) /m/02qbcv
(P3123) logic-higher-order
(P3235) higher-order-logic
(P3285) 03B15
(P3417) Higher-Order-Logic
(P4215) higher-order logic
(P6366) 169896238
(P10283) C169896238
(P10376) computer-science/higher-order-logic