Alonderis, R. and Giedra , H. 2025. Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge. Contemporary Mathematics. 6, 2 (Mar. 2025), 1988–2003. DOI:https://doi.org/10.37256/cm.6220255621.