Describir: Una relación entre las lógicas modales y el enfoque topológico del cómputo distribuido