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