Alonderis, R. .; Giedra , H. . Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge. Contemp. Math. 2025, 6, 1988-2003.