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