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 October 27, 2025. https://test.zurnalai.vu.lt/LMR/article/view/14876.