Temporal Reasoning over Deontic Specifications

Jose Fiadeiro, Tom Maibaum

Research output: Contribution to journalArticle

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

Temporal Reasoning
Temporal logic
Specification
Specifications
Liveness
Temporal Logic
Safety
Modeling
Deontic

Cite this

@article{d4090778a3d3434480518440fd455062,
title = "Temporal Reasoning over Deontic Specifications",
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.",
author = "Jose Fiadeiro and Tom Maibaum",
note = "Copyright 2010 Elsevier B.V., All rights reserved.",
year = "1991",
month = "5",
day = "1",
doi = "10.1093/logcom/1.3.357",
language = "English",
volume = "1",
pages = "357--395",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "3",

}

Temporal Reasoning over Deontic Specifications. / Fiadeiro, Jose; Maibaum, Tom.

In: Journal of Logic and Computation, Vol. 1, No. 3, 01.05.1991, p. 357-395.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Temporal Reasoning over Deontic Specifications

AU - Fiadeiro, Jose

AU - Maibaum, Tom

N1 - Copyright 2010 Elsevier B.V., All rights reserved.

PY - 1991/5/1

Y1 - 1991/5/1

N2 - 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.

AB - 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.

U2 - 10.1093/logcom/1.3.357

DO - 10.1093/logcom/1.3.357

M3 - Article

VL - 1

SP - 357

EP - 395

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 3

ER -