Words: epistemic logic
Part of speech: n
Definition: the modal logic of knowledge and uncertainty and ignorance