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