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