Adding a temporal dimension to a logic system (1992)

by M Finger, D Gabbay
Venue:Journal of Logic Language and Information