Finite model theory is a branch of mathematical logic that focuses on the study of finite structures and the properties of sentences in various logical languages when interpreted over these structures. It examines models that have a finite domain, meaning the set of elements that satisfy the sentences of the theory is finite.
New to topics? Read the docs here!