Definitions of modal logic:

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