finite model theory

GPTKB entity

Statements (37)
Predicate Object
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