GIRČYS, A. P.; PLIUŠKEVIČIUS, R. A specialization of definitions in common knowledge logic. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 249–252, 15 Dec.2011.