Alonderis, R. . and Giedra , H. . (2025) “Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge”, Contemporary Mathematics , 6(2), pp. 1988–2003. doi: 10.37256/cm.6220255621.