Nouns

(n)epistemic logicthe modal logic of knowledge and uncertainty and ignorance