Alonderis, Romas, and Haroldas Giedra. 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.