Epistemic logic

Epistemic logic is a formal logic about how groups of agents, which can know things, behave.