Adding a temporal dimension to a logic system - Finger, Marcelo; Gabbay, Dov M. (Journal of Logic, Language and Information, 1992)