Consistent Theory (Satisfiability Modulo Theory)

Definition

Consistent Theory (Satisfiability Modulo Theory)

A theory $\mathcal{T}$ is consistent if it admits at least one $\mathcal{T}-$-interpretation:

$$\exists I:I\models \mathcal{T}.$$