Alonderis, Romas, and Haroldas Giedra. “Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge”. Contemporary Mathematics 6, no. 2 (March 20, 2025): 1988–2003. Accessed April 8, 2025. https://ojs.wiserpub.com/index.php/CM/article/view/5621.