Definitions of alethic logic:

• noun:   the modal logic of necessity and possibility and contingency