Girčys, Aurimas Paulius, and Regimantas Pliuškevičius. “Two Complete Finitary Sequent Calculi for Reflexive Common Knowledge”. Lietuvos matematikos rinkinys 54, no. A (December 15, 2013): 12–15. Accessed May 3, 2024. https://www.journals.vu.lt/LMR/article/view/14876.