Skip to main content
Kent Academic Repository

Towards a Modal Logic of Durative Actions

Kent, Stuart (1993) Towards a Modal Logic of Durative Actions. In: Proceedings of the first Imperial College Dept. of Computing Theory & Formal Methods Section Workshop. . pp. 183-194. Springer Verlag (doi:10.1007/978-1-4471-3503-6_14) (KAR id:21131)

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.

Item Type: Conference or workshop item (UNSPECIFIED)
DOI/Identification number: 10.1007/978-1-4471-3503-6_14
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 12 Aug 2009 16:38 UTC
Last Modified: 09 Mar 2023 11:29 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21131 (The current URI for this page, for reference purposes)

University of Kent Author Information

Kent, Stuart.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.