A modal temporal logic for reasoning about change

Authors:
Eric Mays
Affiliations:
University of Pennsylvania, Philadelphia, PA
Venue:
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Year:
1983

Citing 3
Cited 3

On the temporal analysis of fairness

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of branching time

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Varieties of user misconceptions: detection and correction

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2

Computational linguistics research at the University of Pennsylvania

Computational Linguistics
Varieties of user misconceptions: detection and correction

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Strategic health information management and forecast: the birdwatching approach

ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part III

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.