epistemic logic

Epistemic modal logic, a subfield of modal logic that is concerned with reasoning about knowledge. / Dynamic epistemic logic, a logical framework dealing with knowledge and information change.