WordNet
alethic logic
n. the modal logic of necessity and possibility and contingency
n. the modal logic of necessity and possibility and contingency