Perhaps, DYNAMIC_LOGIC_(MODAL_LOGIC) is a misspelling. Click here to search for this word in our misspelling dictionary.