 Alethic modal logic is the logic of necessary truth and related notions. Consider six basic alethic modal notions, expressed as sentential operators—constructions that, when applied to a sentence, yield a sentence (as does “it is not the case that”):