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