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