Text this: Decision procedure for a combination of logics KD4 and PDL