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).