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
  19. Michael Wooldridge, Michael Fisher
    Pages 317-331
  20. Cristina Ribeiro, António Porto
    Pages 349-364
  21. Marta Kwiatkowska, Doron Peled, Wojciech Penczek
    Pages 398-414
  22. Clare Dixon, Michael Fisher, Howard Barringer
    Pages 415-429
  23. Hugh McGuire, Zohar Manna, Richard Waldinger
    Pages 430-444
  24. Mehmet A. Orgun, Wanli Ma
    Pages 445-479
  25. Jan Chomicki
    Pages 506-534
  26. Reiner Hähnle, Ortrun Ibens
    Pages 535-539
  27. P. M. Melliar-Smith, L. E. Moser, Y. S. Ramakrishna, G. Kutty, L. K. Dillon
    Pages 540-542
  28. Leopoldo E. Bertossi, J. Cristian Ferretti
    Pages 543-545
  29. Back Matter

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
  • 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
  • Buy this book on publisher's site