Temporal Logic (1994)

by D Gabbay, I Hodkinson, M Reynolds
Venue:Metamathematics of modal logic, Reports on Mathematical Logic 6,7 (1976) 41