epistemic logic

noun

1.
the modal logic of knowledge and uncertainty and ignorance