modal logic

(logic) Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.