Logics of Modal Terms for Systems Specification
José Luiz Fiadeiro, Amı́lcar Sernadas · Journal of Logic and Computation · 1990
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.