A kind of formal logic that studies arguments that contain modal propositions, i.e., propositions affected by modalities such as “necessarily” and “possibly.”  Various forms of modal logic can be found in the classical and modern traditions of logic.