WordNet
epistemic logic
n. the modal logic of knowledge and uncertainty and ignorance
n. the modal logic of knowledge and uncertainty and ignorance