Temporal logic mathematical foundations and computational aspects - Gabbay D M; Hodkinson Ien; Reynolds Mark (Oxford Clarendon Press, 1994)
Keywords: Mathematical logic