háttarökfræði

Etymology
From.

Noun

 * 1)  modal logic; any formal system that attempts to deal with modalities such as possibility and necessity, but also obligation and permission