Describir: Una lógica dinámica epistémica para la comunicación asíncrona por canales inseguros