Definition:Model Theory for Predicate Logic

Definition
Model theory for predicate logic is the sub-branch of model theory that focuses on predicate logic.

In particular, the formal semantics of structures for predicate logic is studied.

Also known as
Historically, model theory for predicate logic has received the main attention within the larger field of model theory in general.

Therefore, there is a good chance that any source referring to model theory actually refers to the subfield of model theory for predicate logic.