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