Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

P. Balbiani, J.M. Broersen, J. Brunel

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

Original language	Undefined/Unknown
Pages (from-to)	69-89
Number of pages	21
Journal	Electronic Notes in Theoretical Computer Science
Volume	231
Publication status	Published - 2009

BalbianiBrunelBroersenM4M07 revised papers M4M 2007

Cite this

@article{c1b9a5f189354138b187ba1d912f76c0,

title = "Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations",

author = "P. Balbiani and J.M. Broersen and J. Brunel",

note = "BalbianiBrunelBroersenM4M07 revised papers M4M 2007",

year = "2009",

language = "Undefined/Unknown",

volume = "231",

pages = "69--89",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

AU - Balbiani, P.

AU - Broersen, J.M.

AU - Brunel, J.

N1 - BalbianiBrunelBroersenM4M07 revised papers M4M 2007

PY - 2009

Y1 - 2009

M3 - Article

SN - 1571-0661

VL - 231

SP - 69

EP - 89

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -