D defs.my
Menu ☰
Entry 1 sense Webster, 1913

modal logic

/mōd'-əl läj'-ĭk/ · mo·dal log·ic · IPA
01 n. A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation.
  1. 1.
    A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation.