Temporal Logic

First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

  • Editors
  • Dov M. Gabbay
  • Hans Jürgen Ohlbach
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 827)

Table of contents

  1. Front Matter
  2. Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen
    Pages 1-16
  3. Shmuel Katz
    Pages 17-29
  4. J. C. M. Baeten, J. A. Bergstra, R. N. Bol
    Pages 30-47
  5. José Luiz Fiadeiro, Tom Maibaum
    Pages 48-66
  6. Anthony J. Bonner, Michael Kifer
    Pages 67-81
  7. Patrick Doherty, Witold Łukaszewicz
    Pages 82-100
  8. Silvana Badaloni, Marina Berati
    Pages 101-116
  9. M. Reynolds
    Pages 117-132
  10. Valentin Goranko
    Pages 133-148
  11. B. Vergauwen, J. Lewi, I. Avau, A. Poté
    Pages 165-179
  12. Orna Grumberg, Robert P. Kurshan
    Pages 180-194
  13. G. Kutty, L. E. Moser, P. M. Melliar-Smith, L. K. Dillon, Y. S. Ramakrishna
    Pages 195-209
  14. Orna Bernholtz, Orna Grumberg
    Pages 210-224
  15. Patrick Blackburn, Claire Gardent, Maarten de Rijke
    Pages 225-237
  16. Maria Concetta Di Maio, Alberto Zanardo
    Pages 265-282
  17. Michael Böhlen, Robert Marti
    Pages 283-300
  18. Kristof Van Belleghem, Marc Denecker, Danny De Schreye
    Pages 301-316

About these proceedings


This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.


Logic artificial intelligence computer nicht-klassische Logiken nonclassical logics temporal databases temporal logic temporal reasoning temporal specifications zeitabhängige Datenbanken zeitabhängige Logik zeitabhängige Spezifikation

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0013976
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58241-0
  • Online ISBN 978-3-540-48585-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book