Efficiently executable temporal logic programs

  • Stephan Merz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 897)


Temporal Logic Conjunctive Normal Form Safety Property Proposition Variable Edge Label 
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.


  1. 1.
    M. Abadi: Temporal-Logic Theorem Proving. Ph.D. thesis, Department of Computer Science, Stanford University (1987)Google Scholar
  2. 2.
    B. Alpern, F. B. Schneider: Recognizing safety and liveness. Distributed Computing 2, pp. 117–126 (1987)Google Scholar
  3. 3.
    B. Banieqbal, H. Barringer: Temporal Logic with Fixed Points; in: Proc. Temporal Logic in Specification (B. Banieqbal et al., ed.). LNCS 398, pp. 62–74, Springer-Verlag (1989)Google Scholar
  4. 4.
    H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens: METATEM: A Framework for Programming in TemporalLogic; in: J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.): Stepwise Refinement of Distributed Systems — Models, Formalisms, Correctness. LNCS 430, Springer-Verlag (1990). See also [8].Google Scholar
  5. 5.
    H. Barringer, R. Kuiper, A. Pnueli: Now You May Compose Temporal Logic Specifications. Proc. Sixteenth ACM Symposium on the Theory of Computing, pp. 51–63 (1984)Google Scholar
  6. 6.
    M. Baudinet: Temporal Logic Programming is Complete and Expressive; in: Proc. ACM Conf. on Princinples of Programming Languages, pp. 267–280 (1989)Google Scholar
  7. 7.
    C. Brzoska: Temporal Logic Programming with Metric and Past Operators. Proc. Workshop on Executable Modal and Temporal Logics, in this volume.Google Scholar
  8. 8.
    M. Fisher: Concurrent METATEMThe Language and its Applications. Proc. Workshop on Executable Modal and Temporal Logics, IJCAI 1993, in this volume.Google Scholar
  9. 9.
    T. Fruehwirth: Temporal Logic and Annotated Constraint Logic Programming. Proc. Workshop on Executable Modal and Temporal Logics, IJCAI 1993, in this volume.Google Scholar
  10. 10.
    J. Koehler, R. Treinen: Constraint Deduction in an Interval-based Temporal Logic. Proc. Workshop on Executable Modal and Temporal Logics, IJCAI 1993, in this volume.Google Scholar
  11. 11.
    S. Kono: A Combination of Clausal and Non Clausal Temporal Logic Program. Proc. Workshop on Executable Modal and Temporal Logics, IJCAI 1993, in this volume.Google Scholar
  12. 12.
    F. Kroger: TemporalLogic of Programs. EATCS Monographs on Theoretical Computer Science 8. Berlin: Springer-Verlag (1987)Google Scholar
  13. 13.
    J. W. Lloyd: Foundations of Logic Programming. Springer-Verlag (2 1987)Google Scholar
  14. 14.
    Z. Manna, A. Pnueli: A Hierarchy of Temporal Properties; in: Proc. ACM Symposium on Principles of Distributed Computing (1990)Google Scholar
  15. 15.
    Z. Manna, A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems — Specification. New York etc.: Springer-Verlag (1992)Google Scholar
  16. 16.
    Z. Manna, P. Wolper. Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Transactions on Programming Languages 6, pp. 68–93 (1984)Google Scholar
  17. 17.
    S. Merz: Decidability and Incompleteness Results for First-OrderTemporal Logics of Linear Time. Journal of Applied Non-Classical Logics 2(2) (1992)Google Scholar
  18. 18.
    S. Merz: Temporal Logic as a Programming Language. Ph.D. thesis, Ludwig-Maximilians-Universität (1992)Google Scholar
  19. 19.
    B. Moszkowski: Executing Temporal Logic Programs. Cambridge (UK): Cambridge University Press (1986)Google Scholar
  20. 20.
    M. A. Orgun, W. W. Wadge: Towards a unified theory of intensional logic programming. Journal of Logic Programming, 13 (4), pp. 413ff (1992)Google Scholar
  21. 21.
    A. Pnueli: System Specification and Refinement in Temporal Logic. Proc. Conf. on Foundations of Software Technology and Theoretical Computer Science. Springer LNCS 652, pp. 1–38 (1992)Google Scholar
  22. 22.
    A. P. Sistla, E. M. Clarke: The Complexity of Propositional Linear Temporal Logic. Journal of the ACM 32(3), pp. 733–749 (1985)Google Scholar
  23. 23.
    A. Szałas: A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time. TCS 54, pp. 199–214 (1987)Google Scholar
  24. 24.
    Z. Tang: Toward a Unified Logical Basis for Programming Languages. In: R.E.A. Mason, ed.: Proc. IFIP Congress '83. Amsterdam: Elsevier Publishers B.V. (1983)Google Scholar
  25. 25.
    J. D. Ullmann: Principles of Database and Knowledge-Base Systems. Computer Science Press (1988)Google Scholar
  26. 26.
    P. Wolper: Temporal Logic Can Be More Expressive. Information and Control 56, pp. 72–99 (1983)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Stephan Merz

There are no affiliations available

Personalised recommendations