A complete axiomatization of a temporal logic with obligation and robustness

Research output: Chapter in Book/Conference paper › Other chapter contribution

Original language	English
Title of host publication	JOURNAL OF LOGIC AND COMPUTATION
Place of Publication	UK
Publisher	Oxford University Press
Pages	1-29
ISBN (Print)	0955792X
DOIs	https://doi.org/10.1093/logcom/exu041
Publication status	Published - 2014

Access to Document

@inbook{239f91888e8b4d5aa20d1aee2ccae980,

title = "A complete axiomatization of a temporal logic with obligation and robustness",

author = "Tim French and John Mccabe-Dansted and Mark Reynolds",

year = "2014",

doi = "10.1093/logcom/exu041",

language = "English",

isbn = "0955792X",

pages = "1--29",

booktitle = "JOURNAL OF LOGIC AND COMPUTATION",

publisher = "Oxford University Press",

address = "United Kingdom",

}

TY - CHAP

T1 - A complete axiomatization of a temporal logic with obligation and robustness

AU - French, Tim

AU - Mccabe-Dansted, John

AU - Reynolds, Mark

PY - 2014

Y1 - 2014

U2 - 10.1093/logcom/exu041

DO - 10.1093/logcom/exu041

M3 - Other chapter contribution

SN - 0955792X

SP - 1

EP - 29

BT - JOURNAL OF LOGIC AND COMPUTATION

PB - Oxford University Press

CY - UK

ER -