Text this: Efficient decision procedure for Belief modality