alethic logic

from WordNet (r) 3.0 (2006)
alethic logic
    n 1: the modal logic of necessity and possibility and
         contingency
    

[email protected]