Executing temporal logic: Review and prospects

  • Howard Barringer
  • Dov Gabbay
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 335)


  1. [Aba87]
    Martin Abadi. Temporal-Logic Theorem Proving. PhD thesis, Department of Computer Science, Stanford University, March 1987.Google Scholar
  2. [AM85]
    M. Abadi and Z. Manna. Non-clausal Temporal Deduction. Lecture Notes in Computer Science, 193:1–15, June 1985.Google Scholar
  3. [AM86]
    Martin Abadi and Zohar Manna. A Timely Resolution. Technical Report STAN-CS-86-1106, Stanford University, June 1986.Google Scholar
  4. [Gab87a]
    D. Gabbay. Executable Temporal Logic for Interactive Systems. In Colloquium on Temporal Logic: Circulated Papers, Department of Computer Science, Manchester, April 1987.Google Scholar
  5. [Gab87b]
    D. Gabbay. Modal and Temporal Logic Programming. In A. Galton, editor, Temporal Logics and their Applications, Academic Press, London, December 1987.Google Scholar
  6. [HNNT86]
    T. Hattori, R. Nakajima, N. Niide, and K. Takenaka. RACCO: a Modal-Logic Programming Language for Writin Models of Real-time Process-Control Systems. Technical Report, Research Institute for Mathematical Sciences, Kyoto University, November 1986.Google Scholar
  7. [MM83]
    B. Moszkowski and Z. Manna. Reasoning in Interval Temporal Logic. Technical Report, Stanford University, July 1983.Google Scholar
  8. [Mos83]
    B. Moszkowski. Reasoning about Digital Circuits. PhD thesis, Department of Computer Science, Stanford University, July 1983.Google Scholar
  9. [Mos86]
    B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986.Google Scholar
  10. [Sak86]
    T. Sakuragawa. Temporal Prolog. Technical Report, Research Institute for Mathematical Sciences, Kyoto University, 1986. to appear in Computer Software.Google Scholar
  11. [SZ85]
    Zhou Shengzong and Tang Zhisong. Designing and Verifying Distributed Programs Using Temporal Logic. Technical Report AS-IS-85, XYZ Report No. 4, Institute of Software, Academica Sinica, Beijing, China, December 1985.Google Scholar
  12. [Zhi83]
    Tang Zhisong. Toward a Unified Logic Basis of Programming Languages. In R. E. A. Mason, editor, Information Processing 83, pages 425–429, IFIP, Elsevier Science Publishers B.V. (North Holland), Amsterdam, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Howard Barringer
    • 1
  • Dov Gabbay
    • 2
  1. 1.Department of Computer ScienceUniversity of ManchesterUK
  2. 2.Department of ComputingImperial College of Science an TechnologyLondon

Personalised recommendations