Epistemic logic
WordNet

noun


(1)   The modal logic of knowledge and uncertainty and ignorance
 
x
OK