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://ojs353.mebyme.cn/index.php/CM/article/view/5621. Acesso em: 24 dec. 2025.