Definitions of epistemic logic:

• noun:   the modal logic of knowledge and uncertainty and ignorance