modal logic is a noun meaning "the logical study of necessity and possibility". It carries 2 recorded senses.
the logical study of necessity and possibility
a system of logic whose formal properties resemble certain moral and epistemological concepts
Definitions, synonyms and semantic relations for modal logic come from Princeton University’s WordNet. Commonness is measured against a corpus of everyday English. Full sources and licences.