Two-Agent Approximate Agreement from an Epistemic Logic Perspective. - Jorge Armenta-Segura; Jérémy Ledent; Sergio Rajsbaum (Computación y Sistemas, 2022)