Interpretation (logic) - Non-classical Interpretations

Non-classical Interpretations

The interpretations of propositional logic and predicate logic described above are not the only possible interpretations. In particular, there are other types of interpretations that are used in the study of non-classical logic (such as intuitionistic logic), and in the study of modal logic.

Interpretations used to study non-classical logic include topological models, Boolean valued models, and Kripke models. Modal logic is also studied using Kripke models.