Modal Logic http://plato.stanford.edu/entries/logic-modal/
Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. By James W. Garson, University of Houston.