A specialization of definitions in common knowledge logic