Logic of Programs 1983: Logics of Programs pp 403-420 | Cite as

A low level language for obtaining decision procedures for classes of temporal logics

  • David A. Plaisted
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 164)


Temporal Logic State Expression Decision Procedure Propositional Variable Initial Node 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

10. References

  1. 1.
    Campbell, R. and Habermann, A., The specification of process synchronization by path expressions, Lecture Notes in Computer Science, Springer-Verlag, Volume 16, 1974, pp. 89–102.Google Scholar
  2. 2.
    Harel, D, First-order Dynamic Logic, Springer-Verlag Lecture Notes, No. 68, 1979.Google Scholar
  3. 3.
    Manna, Z. and Wolper, P., Synthesis of communicating processes from temporal logic specifications, 253–281 in Proceedings of the Workshop on Logics of Programs, 1981.Google Scholar
  4. 4.
    Moszkowski, B., A temporal logic for multi-level reasoning about hardware, Technical Report STAN-CS-82-952, Computer Science Department, Stanford University, 1982.Google Scholar
  5. 5.
    Plaisted, D., A decision procedure for combinations of propositional temporal logic and other specialized theories, SRI International unpublished report, March, 1983.Google Scholar
  6. 6.
    Pratt, V., Semantical considerations on Floyd-Hoare logic, Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science (1976)109–121.Google Scholar
  7. 7.
    Schwartz, R., Melliar-Smith, P. M., and Vogt, F., An interval logic for higher level temporal reasoning: language definition and examples, Computer Science Laboratory, SRI International Tech. Report CSL-138, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • David A. Plaisted
    • 1
  1. 1.SRI InternationalMenlo Park

Personalised recommendations