About Modal Logic
Modal Logic- 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.