Pattern Models: A Dynamic Epistemic Logic For Distributed Systems

Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez. Pattern Models: A Dynamic Epistemic Logic For Distributed Systems. Comput. J., 67(7):2421-2440, 2024. [doi]

Abstract

Abstract is missing.