# 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.

## Also see

• Results about model theory for predicate logic can be found here.