 Epistemic logic, the logic of knowledge, is a branch of modal logic where the modality “\(i\) knows that” is studied (compare the entries:  epistemic logic,  logic of belief revision). The dynamic turn in epistemic logic, which took place around 2000, introduced a focus on change of state, but now with states taken to be representations of the knowledge of a set of agents.