modal logic noun1 •Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission. formsmodal logics
