Combining temporal logic systems - Finger, Marcelo; Gabbay, Dov (Notre Dame Journal of Formal Logic, 1996)