Words: alethic logic
Part of speech: n
Definition: the modal logic of necessity and possibility and contingency