Nouns

(n)modal logicthe logical study of necessity and possibility
(n)modal logica system of logic whose formal properties resemble certain moral and epistemological concepts