Sandewall, E. (1988). Non-Monotonic Entailment for Reasoning about Time and Action. Part II: Concurrent Actions. Technical Report LiTH-IDA-R-88-28, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),
Abstract: An explicit temporal logic for reasoning about time and action is extended in order to account for concurrency between actions. The extensions are such that in no model can several actions co-occur if they control the same property (i.e. influence it so that it changes or may change). Also, several actions which require the same property to be held at the same value are allowed to co-occur, but they can not in turn co-occur with even one action that controls that property. In this way, traditional concepts in the study of concurrent processes have been imported into the formal-logical framework.
CS Dept TR Overview