Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:contrastsWith |
gptkb:First-order_logic
|
| gptkbp:field |
gptkb:logic
gptkb:philosophy Computer science |
| gptkbp:hasProperty |
Greater expressive power than first-order logic
Not compact Not complete Undecidable |
| gptkbp:hasSemantics |
gptkb:Henkin_semantics
Standard semantics |
| gptkbp:hasSyntax |
Quantifiers over predicates and functions
Variables for predicates and functions |
| https://www.w3.org/2000/01/rdf-schema#label |
Higher-order logic
|
| gptkbp:introducedIn |
19th century
|
| gptkbp:notableFor |
Automated theorem proving
Type theory Formal semantics |
| gptkbp:relatedTo |
gptkb:Lambda_calculus
gptkb:Set_theory gptkb:Second-order_logic |
| gptkbp:studiedBy |
gptkb:Alonzo_Church
gptkb:Bertrand_Russell gptkb:Henri_Poincaré gptkb:Willard_Van_Orman_Quine |
| gptkbp:subclassOf |
Predicate logic
Formal system |
| gptkbp:usedIn |
Formal verification
Proof assistants |
| gptkbp:uses |
Quantification over functions
Quantification over predicates |
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|