modal logic Copy link modal logic , noun A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation.