Text this: Combination of temporal logic with modal logic KD