Noun: epistemic logic
- The modal logic of knowledge and uncertainty and ignorance
"Epistemic logic explores how knowledge and belief can be represented formally"
Derived forms: epistemic logics
Type of: modal logic
Encyclopedia: Epistemic logic