modal logic

noun

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