The module introduces formalisms to reason about knowledge and information. One such formalism is epistemic logic, where one can explicitly represent of what an agent (robot, human, system) knows about the world or about others, as in "I have sent a message, how do I know that it has been received, and that the receiver knows I know this?"