modal logic

n.
  1. A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation.