Epistemic logic

Is focused on concepts of knowledge, belief, and truth.