ALONDERIS, R. .; GIEDRA , H. . Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge. Contemporary Mathematics, [S. l.], v. 6, n. 2, p. 1988–2003, 2025. DOI: 10.37256/cm.6220255621. Disponível em: https://ojs.wiserpub.com/index.php/CM/article/view/5621. Acesso em: 8 apr. 2025.