Modals like must, might, may, could, should express degrees of certainty in deductions.
Must expresses the highest level of certainty, that something is almost certainly true. Should expresses an expectation or assumption based on available information. Might, may and could indicate something is possible but not certain. Can't and couldn't are used to say something is not possible. Examples are given for how each modal is used to qualify deductions made from known facts or evidence.