Gabbay, Dov M. Max Planck Society;
Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Gabbay, D. M., & Ohlbach, H. J. (Eds.). (1994). Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic. Berlin, Germany: Springer.