'epistemic logic' definitions:

Definition of 'epistemic logic'

From: WordNet
noun
The modal logic of knowledge and uncertainty and ignorance