GIRČYS, Aurimas Paulius; PLIUŠKEVIČIUS, Regimantas. Two complete finitary sequent calculi for reflexive common knowledge.
Lietuvos matematikos rinkinys,
[S. l.], v. 54, n. A, p. 12–15, 2013. DOI:
10.15388/LMR.A.2013.05. Disponível em:
https://www.journals.vu.lt/LMR/article/view/14876. Acesso em: 11 apr. 2025.