Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge. Contemp. Math. 2025, 6 (2), 1988-2003. https://doi.org/10.37256/cm.6220255621.