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