Book
Go to home page
Temporal Logic: Mathematical foundations and
computational
aspects. Volume 1
D M Gabbay, I M Hodkinson, M A Reynolds
Clarendon Press, Oxford, 1994.
653 pages, ISBN 0-19-853769-7
Publisher's page for
the book
Volume 2 (by D M
Gabbay, M A Reynolds, M Finger) appeared in 2000.
I contributed chapter 2 to this volume (Temporal logic and automata).