Epistemic logic

A type of modal logic that deals with knowledge and belief.