Temporal Reasoning over Deontic Specifications
- 1 May 1991
- journal article
- Published by Oxford University Press (OUP) in Journal of Logic and Computation
- Vol. 1 (3) , 357-395
- https://doi.org/10.1093/logcom/1.3.357
Abstract
Starting from a deontic specification modelling the behaviour of a system, we show how it is possible to reason about the temporal properties of the normative behaviours of that system. In particular, we show how safety and liveness properties can be derived, respectively, from permission and obligation structures. A formal relationship is thus established between the recently proposed deontic accounts of behaviour, that are more action-oriented, and the already traditional and successful property-oriented frameworks based on temporal logics.Keywords
This publication has 0 references indexed in Scilit: