This is pretty underdeveloped, but bear with me. Modal logic is the study of logics that include modalities. For propositional logics, a modality is a way of being true. Normally when we teach propositional logic we assign truth values to propositions like “True” or “False” via a valuation function. The truth values that get assigned in a non-modal logic are, in some sense, truth values
Modals for Imperative Logic
Modals for Imperative Logic
Modals for Imperative Logic
This is pretty underdeveloped, but bear with me. Modal logic is the study of logics that include modalities. For propositional logics, a modality is a way of being true. Normally when we teach propositional logic we assign truth values to propositions like “True” or “False” via a valuation function. The truth values that get assigned in a non-modal logic are, in some sense, truth values