existential second-order logic
GPTKB entity
Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:logic
formal semantics |
gptkbp:abbreviation |
gptkb:ESO
|
gptkbp:capturesComplexityClass |
gptkb:NP_(nondeterministic_polynomial_time)
|
gptkbp:characterizedBy |
second-order quantification restricted to existential quantifiers over relations or functions
|
gptkbp:definability |
properties definable in NP
|
gptkbp:expressivePower |
greater than first-order logic
less than full second-order logic |
gptkbp:field |
gptkb:logic
theoretical computer science |
https://www.w3.org/2000/01/rdf-schema#label |
existential second-order logic
|
gptkbp:relatedTo |
gptkb:Fagin's_theorem
gptkb:second-order_logic existential quantification |
gptkbp:studiedBy |
gptkb:Ronald_Fagin
gptkb:Yuri_Gurevich |
gptkbp:usedIn |
gptkb:finite_model_theory
descriptive complexity theory |
gptkbp:bfsParent |
gptkb:Fagin's_theorem
|
gptkbp:bfsLayer |
7
|