Alonderis R, Giedra H. Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge. Contemp. Math. [Internet]. 2025 Mar. 20 [cited 2025 Apr. 7];6(2):1988-2003. Available from: https://ojs.wiserpub.com/index.php/CM/article/view/5621