adjective logic of or relating to such philosophical concepts as truth, necessity, possibility, contingency, etc designating the branch of modal logic that deals with the formalization of these concepts