Temporal Reasoning over Deontic Specifications

Jose Fiadeiro, Tom Maibaum

Research output: Contribution to journalArticlepeer-review

32 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)357-395
Number of pages39
JournalJournal of Logic and Computation
Volume1
Issue number3
DOIs
Publication statusPublished - 1 May 1991

Fingerprint Dive into the research topics of 'Temporal Reasoning over Deontic Specifications'. Together they form a unique fingerprint.

Cite this