the logical study of necessity and possibility
a system of logic whose formal properties resemble certain moral and epistemological concepts
Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.