On the definability of simulation and bisimulation in epistemic logic | Publicación