Temporal logic mathematical foundations - Gabbay, Dov M. 1945-; Hodkinson, Ian M.; Reynolds, Mark A. (1994)