Gabbay, D. M., & Ohlbach, H. J. (Eds.). (1994). Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic. Berlin, Germany: Springer.