Modal logic relates to reasoning about necessity and possibility. A "modal" is an expression that qualifies the truth of a statement, like "necessarily" or "probably".
Included in modal logic is deontic logic, the logic of obligation and permission, which is important for law.