n. 1.the logical study of necessity and possibility 2.a system of logic whose formal properties resemble certain moral and epistemological concepts