@inproceedings{24b913aa32cc4bc38db75e13f2ea6d9e,
title = "An overview of temporal and modal logic programming",
abstract = "This paper presents an overview of the development of the field of temporal and modal logic programming. We review temporal and modal logic programming languages under three headings: (1) languages based on interval logic, (2) languages based on temporal logic, and (3) languages based on (multi)modal logics. The overview includes most of the major results developed, and points out some of the similarities, and the differences, between languages and systems based on diverse temporal and modal logics. The paper concludes with a brief summary and discussion.",
keywords = "dine, tempo, nite, prefix, kroger",
author = "Orgun, {Mehmet A.} and Wanli Ma",
year = "1994",
doi = "10.1007/BFb0014004",
language = "English",
isbn = "9783540582410",
volume = "827",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "445--479",
editor = "Gabbay, {Dov M.} and Ohlbach, {Hans J{\"u}rgen}",
booktitle = "Temporal Logic",
address = "United States",
note = "1st International Conference on Temporal Logic, ICTL 1994 ; Conference date: 11-07-1994 Through 14-07-1994",
}