Dynamic Epistemic Logic - What are the models of epistemic logic?

When defining epistemic logic models in terms of possible worlds, Kripke models are frequently utilized. In this scenario, the formula \(K_{a}\varphi\) signifies that \(\varphi\) is true in all alternative worlds that agent a believes are feasible based on our current knowledge.