modal logic /(?)/ mo·dal log·ic modal logic n. A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation.