An overview of temporal and modal logic programming

Mehmet A. Orgun, Wanli Ma

Research output: A Conference proceeding or a Chapter in BookConference contribution

61 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 languageEnglish
Title of host publicationTemporal Logic - 1st International Conference, ICTL 1994, Proceedings
EditorsDov M. Gabbay, Hans Jurgen Ohlbach
Place of PublicationBerlin
PublisherSpringer
Pages445-479
Number of pages35
ISBN (Electronic)9783540485858
ISBN (Print)9783540582410
DOIs
Publication statusPublished - 1 Jan 1994
Externally publishedYes
Event1st International Conference on Temporal Logic, ICTL 1994 - Bonn, Germany
Duration: 11 Jul 199414 Jul 1994

Publication series

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

Conference

Conference1st International Conference on Temporal Logic, ICTL 1994
CountryGermany
CityBonn
Period11/07/9414/07/94

Fingerprint Dive into the research topics of 'An overview of temporal and modal logic programming'. Together they form a unique fingerprint.

Cite this