Epistemic logic

A type of modal logic that deals with concepts of knowledge and belief, and introduces operators like "knows", "believes", "hypothesizes".