Nouns

(n)alethic logicthe modal logic of necessity and possibility and contingency