Temporal Reasoning over Deontic Specifications

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	357-395
Number of pages	39
Journal	Journal of Logic and Computation
Volume	1
Issue number	3
DOIs	https://doi.org/10.1093/logcom/1.3.357
Publication status	Published - 1 May 1991

Access to Document

@article{644f08db175a4083befc9821c6ff2222,

title = "Temporal Reasoning over Deontic Specifications",

author = "J. Fiadeiro and T. Maibaum",

year = "1991",

month = may,

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",

}

TY - JOUR

T1 - Temporal Reasoning over Deontic Specifications

AU - Fiadeiro, J.

AU - Maibaum, T.

PY - 1991/5/1

Y1 - 1991/5/1

UR - http://www.scopus.com/inward/record.url?scp=0004592874&partnerID=8YFLogxK

U2 - 10.1093/logcom/1.3.357

DO - 10.1093/logcom/1.3.357

M3 - Article

AN - SCOPUS:0004592874

SN - 0955-792X

VL - 1

SP - 357

EP - 395

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 3

ER -