Girčys, A. P.; Pliuškevičius, R. Two Complete Finitary Sequent Calculi for Reflexive Common Knowledge. LMR 2013, 54 (A), 12–15. https://doi.org/10.15388/LMR.A.2013.05.