Meaning of modal logic

Definition of modal logic

(noun) the logical study of necessity and possibility
a system of logic whose formal properties resemble certain moral and epistemological concepts

Other information on modal logic

WIKIPEDIA results for modal logic
Amazon results for modal logic