Paper: A Modal Temporal Logic For Reasoning About Change

ACL ID P83-1006
Title A Modal Temporal Logic For Reasoning About Change
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1983
Authors
  • Eric Mays (University of Pennsylvania, Philadelphia PA)

We examine several behaviors for query systems that become possible with the ability to represent and reason about change in data bases: queries about possible futures, queries about alternative histories, and offers of monitors as responses to queries. A modal temporal logic is developed for this purpose. A completion axiom for history is given and modelling strategies are given by example.