Second-Order Logic System

From GM-RKB
(Redirected from Second-Order Logic)
Jump to navigation Jump to search

A second-order logic system is a Logic System that allows quantification over predicates.