'alethic logic' definitions:

Definition of 'alethic logic'

From: WordNet
noun
The modal logic of necessity and possibility and contingency