# Definition:Model Theory for Predicate Logic

Jump to navigation
Jump to search

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