資料來源 : WordNet®

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