R. . Alonderis and H. . Giedra, “Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge”, Contemp. Math., vol. 6, no. 2, pp. 1988–2003, Mar. 2025.