Temporal Logic: Mathematical Foundations andComputational Aspects, Volume 2,Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger
Authors:
Ullrich Hustadt
Affiliations:
Centre for Agent Research and Development, Manchester Metropolitan University, Chester Street, Manchester M1 5GD, Great Britain. E-mail: U.Hustadt@doc.mmu.ac.uk