 In the case of knowledge, one can follow the traditional single-agent idea: all worlds in the model play a role in the agent’s epistemic state, and thus one can say that the agent knows a given formula \(\varphi\) if and only if \(\varphi\) is true in every world of the model. For this, evidence logic uses a global modality A: