Decision procedures for quantified fragments of reflexive common knowledge logic - Pliuškevičius, Regimantas (Lietuvos matematikos rinkinys, 2004)
There is not abstract.