“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.