Definition:Model (Boolean Interpretations)

Definition
Let $\mathcal L_0$ be the language of propositional logic.

Let $v: \mathcal L_0 \to \left\{{T, F}\right\}$ be a boolean interpretation.

Model of WFF
Currently /WFF

Model of Set of WFFs
Currently /Set of WFFs

Also denoted as
It is common to use $\models$ without subscript, particularly in sources that concern themselves with only one treatment of logic.

Since covers multiple such treatments, the subscript version $\models_{\mathrm{BI}}$ is used as a means of disambiguation.