Classical Higher-Order Logic
Classical simple type theory with quantification over individuals, predicates, and functions. Standard and Henkin semantics differ in their function domains.
Higher-Order LogicsThe directory29 published entries
Welcome to LogicalZoo
Explore formal logics, their expressive power, and their relationships. A growing reference guide from syntax and semantics to decidability and complexity.