Second-order logic

GPTKB entity

Statements (27)
Predicate Object
gptkbp:instanceOf gptkb:logic
formal semantics
gptkbp:extendsTo gptkb:first-order_logic
gptkbp:field gptkb:logic
gptkb:philosophy
gptkbp:hasProperty not complete
greater expressive power than first-order logic
not compact
not axiomatizable
gptkbp:hasSemantics gptkb:Henkin_semantics
standard semantics
gptkbp:hasSyntax second-order quantifiers
variables for sets and relations
https://www.w3.org/2000/01/rdf-schema#label Second-order logic
gptkbp:quantifiesOver sets
predicates
relations
gptkbp:relatedTo gptkb:logic
gptkb:set_theory
higher-order logic
gptkbp:studiedBy philosophers
logicians
gptkbp:usedIn gptkb:logic
foundations of mathematics
model theory
gptkbp:bfsParent gptkb:Higher-order_logic
gptkbp:bfsLayer 5