An overview of temporal and modal logic programming

Mehmet A. Orgun, Wanli Ma

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

67 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
Subtitle of host publication1st International Conference, ICTL 1994, Proceedings
EditorsDov M. Gabbay, Hans Jürgen Ohlbach
PublisherSpringer, Springer Nature
Pages445-479
Number of pages35
Volume827
ISBN (Electronic)9783540485858
ISBN (Print)9783540582410
DOIs
Publication statusPublished - 1994
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

Other

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

Keywords

  • dine
  • tempo
  • nite
  • prefix
  • kroger

Fingerprint

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

Cite this