资料来源 : WordNet®

alethic logic
     n : the modal logic of necessity and possibility and contingency