School of Computing

Towards a Modal Logic of Durative Actions

S. Kent

In Proceedings of the first Imperial College Dept. of Computing Theory & Formal Methods Section Workshop, pages 182-196. Springer Verlag, March 1993.

Abstract

This paper proposes an extension of modal action logics, which typically make the assumption that an action is atomic, to include durative actions. These logics have been developed to support the formal specification of information systems: we argue, with particular reference to object oriented systems, that assuming atomicity is too restrictive to express many kinds of temporal constraint. In consequence, we propose that actions be regarded as durative, and encode this by assuming that an action occurs over a sequence of atomic transitions, or interval, rather than a single transition. With this as a pre-requisite, the paper continues to redefine and extend operators of atomic action logics to fit the durative case.

Download publication 260 kbytes (PDF)

Bibtex Record

@inproceedings{803,
author = {S. Kent},
title = {{Towards a Modal Logic of Durative Actions}},
month = {March},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/803},
    booktitle = {Proceedings of the first Imperial College Dept. of Computing Theory & Formal Methods Section Workshop},
    publisher = {Springer Verlag},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014