Text this: Decision procedures for quantified fragments of reflexive common knowledge logic