alethic logic

noun

1.
the modal logic of necessity and possibility and contingency