The Work Temporal Logic: Mathematical Foundations and Computational Aspects, vol. 1. The details The Author Dov Gabbay The offers View hardback on Amazon