RhymeZone: modal logic definitions

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