Lógica epistémica, topología y computación distribuida

El modelo usual en lógica epistémica para un grupo de agentes consiste de una gráfica de Kripke cuyos vértices son los mundos posibles, y una arista se etiqueta con un conjunto de agentes que no distinguen entre los dos mundos correspondientes. En lógica epistémica dinámica se pueden representar no solo el conocimiento de un conjunto de agentes, sino también la manera en que este conocimiento cambia al realizarse comunicación entre agentes, transformando una gráfica de Kripke en otra. Estudiamos un modelo dual a las gráficas de Kripke basado en complejos simpliciales que expone invariantes topológicos que dependen de la naturaleza de la comunicación entre agentes. Investigamos así conexiones entre lógica epidémica dinámica y la teoría de computación distribuida basada en topología del libro Herlihy, Kozlov, Rajsbaum (Elsevier 2013).