Temporal logic
Subtitle: mathematical foundations and computational aspects
By: Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.
Contributors: Hodkinson, Ian.; Reynolds, Mark; Finger, Marcelo.
Series: Oxford logic guides ;; 28, 40; Oxford science publications
Publisher: Clarendon Press; Oxford University Press
Published: 1994
Place of publication: Oxford; New York
Language: eng
Number of pages: 672
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and indexes.
Vol. 2 by Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger.