gptkbp:instanceOf
|
gptkb:academic
|
gptkbp:appliesTo
|
finite models
|
gptkbp:concerns
|
complexity classes and logic
definability in finite structures
limitations of first-order logic on finite models
expressiveness of logical languages on finite structures
|
gptkbp:fieldOfStudy
|
gptkb:logic
theoretical computer science
|
gptkbp:hasConcept
|
gptkb:0-1_law
gptkb:Ehrenfeucht–Fraïssé_games
gptkb:Lindström's_theorem
expressive power of logics
finite satisfiability
finite variable logics
fixed-point logics
|
https://www.w3.org/2000/01/rdf-schema#label
|
finite model theory
|
gptkbp:notableBook
|
gptkb:Finite_Model_Theory_by_Ebbinghaus_and_Flum
gptkb:Finite_Model_Theory_by_Libkin
|
gptkbp:notableContributor
|
gptkb:Ronald_Fagin
gptkb:Moshe_Vardi
gptkb:Martin_Grohe
gptkb:Jörg_Flum
gptkb:Neil_Immerman
|
gptkbp:relatedTo
|
gptkb:first-order_logic
gptkb:second-order_logic
model theory
computational complexity
descriptive complexity theory
database query languages
fixed-point logic
monadic second-order logic
|
gptkbp:studies
|
properties of finite structures
|
gptkbp:usedIn
|
gptkb:complexity_theory
computer science
database theory
|
gptkbp:bfsParent
|
gptkb:Martin_Grohe
|
gptkbp:bfsLayer
|
4
|