Abstract
The use of modal qualification on terms is advocated for a more intuitive account of the description of the effects of events on objects such as program variables or database attributes, and also for an easier verification of the intended temporal integrity constraints. We develop two logics of modal terms focusing on positional and temporal qualification, and show by means of an example how they can be used to support the description and prescription of actions, as well as to reason about the properties of the specified systems.
| Original language | English |
|---|---|
| Pages (from-to) | 187-227 |
| Number of pages | 41 |
| Journal | Journal of Logic and Computation |
| Volume | 1 |
| Issue number | 2 |
| DOIs | |
| Publication status | Published - 1 Dec 1990 |