An overview of temporal and modal logic programming

Mehmet A. Orgun; Wanli Ma

doi:10.1007/BFb0014004

An overview of temporal and modal logic programming

Mehmet A. Orgun, Wanli Ma

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

69 Citations (Scopus)

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.

Original language	English
Title of host publication	Temporal Logic
Subtitle of host publication	1st International Conference, ICTL 1994, Proceedings
Editors	Dov M. Gabbay, Hans Jürgen Ohlbach
Publisher	Springer, Springer Nature
Pages	445-479
Number of pages	35
Volume	827
ISBN (Electronic)	9783540485858
ISBN (Print)	9783540582410
DOIs	https://doi.org/10.1007/BFb0014004
Publication status	Published - 1994
Event	1st International Conference on Temporal Logic, ICTL 1994 - Bonn, Germany Duration: 11 Jul 1994 → 14 Jul 1994

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	827 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	1st International Conference on Temporal Logic, ICTL 1994
Country/Territory	Germany
City	Bonn
Period	11/07/94 → 14/07/94

Keywords

dine
tempo
nite
prefix
kroger

Access to Document

10.1007/BFb0014004

Cite this

Orgun, M. A., & Ma, W. (1994). An overview of temporal and modal logic programming. In D. M. Gabbay, & H. J. Ohlbach (Eds.), Temporal Logic: 1st International Conference, ICTL 1994, Proceedings (Vol. 827, pp. 445-479). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 827 LNAI). Springer, Springer Nature. https://doi.org/10.1007/BFb0014004

Orgun, Mehmet A. ; Ma, Wanli. / An overview of temporal and modal logic programming. Temporal Logic: 1st International Conference, ICTL 1994, Proceedings. editor / Dov M. Gabbay ; Hans Jürgen Ohlbach. Vol. 827 Springer, Springer Nature, 1994. pp. 445-479 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

Orgun, MA & Ma, W 1994, An overview of temporal and modal logic programming. in DM Gabbay & HJ Ohlbach (eds), Temporal Logic: 1st International Conference, ICTL 1994, Proceedings. vol. 827, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 827 LNAI, Springer, Springer Nature, pp. 445-479, 1st International Conference on Temporal Logic, ICTL 1994, Bonn, Germany, 11/07/94. https://doi.org/10.1007/BFb0014004

An overview of temporal and modal logic programming. / Orgun, Mehmet A.; Ma, Wanli.
Temporal Logic: 1st International Conference, ICTL 1994, Proceedings. ed. / Dov M. Gabbay; Hans Jürgen Ohlbach. Vol. 827 Springer, Springer Nature, 1994. p. 445-479 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 827 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - An overview of temporal and modal logic programming

AU - Orgun, Mehmet A.

AU - Ma, Wanli

PY - 1994

Y1 - 1994

N2 - 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.

AB - 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.

KW - dine

KW - tempo

KW - nite

KW - prefix

KW - kroger

UR - http://www.scopus.com/inward/record.url?scp=79951595060&partnerID=8YFLogxK

U2 - 10.1007/BFb0014004

DO - 10.1007/BFb0014004

M3 - Conference proceeding contribution

AN - SCOPUS:79951595060

SN - 9783540582410

VL - 827

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 445

EP - 479

BT - Temporal Logic

A2 - Gabbay, Dov M.

A2 - Ohlbach, Hans Jürgen

PB - Springer, Springer Nature

T2 - 1st International Conference on Temporal Logic, ICTL 1994

Y2 - 11 July 1994 through 14 July 1994

ER -

Orgun MA, Ma W. An overview of temporal and modal logic programming. In Gabbay DM, Ohlbach HJ, editors, Temporal Logic: 1st International Conference, ICTL 1994, Proceedings. Vol. 827. Springer, Springer Nature. 1994. p. 445-479. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0014004

An overview of temporal and modal logic programming

Abstract

Publication series

Other

Keywords

Access to Document

Other files and links

Fingerprint

Cite this