Temporal logic : mathematical foundations and computational aspects /

Bibliographic Details

Main Author:	Gabbay, Dov M., 1945-
Other Authors:	Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo
Format:	Book
Language:	English
Published:	Oxford : New York : Clarendon Press ; Oxford University Press, 1994-2000.
Series:	Oxford science publications. Oxford logic guides ; 28, 40.
Subjects:	Computer programming. Logic, Symbolic and mathematical. Logic