Search Result for "alethic logic":
Wordnet 3.0

NOUN (1)

1. the modal logic of necessity and possibility and contingency; 



WordNet (r) 3.0 (2006):

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