Find the word definition

WordNet
epistemic logic

n. the modal logic of knowledge and uncertainty and ignorance