Words: modal logic
Part of speech: n
Definition: the logical study of necessity and possibility