The interpretations of propositional logic and predicate logic described above are not the only possible interpretations.
Interpretations used to study non-classical logic include topological models, Boolean valued models, and Kripke models.