| 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 | |
| Publication status | Published - 2014 |
Cite this
French, T., Mccabe-Dansted, J., & Reynolds, M. (2014). A complete axiomatization of a temporal logic with obligation and robustness. In JOURNAL OF LOGIC AND COMPUTATION (pp. 1-29). UK: Oxford University Press. https://doi.org/10.1093/logcom/exu041
@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",
}
French, T, Mccabe-Dansted, J & Reynolds, M 2014, A complete axiomatization of a temporal logic with obligation and robustness. in JOURNAL OF LOGIC AND COMPUTATION. Oxford University Press, UK, pp. 1-29. https://doi.org/10.1093/logcom/exu041
A complete axiomatization of a temporal logic with obligation and robustness. / French, Tim; Mccabe-Dansted, John; Reynolds, Mark.
JOURNAL OF LOGIC AND COMPUTATION. UK : Oxford University Press, 2014. p. 1-29.Research output: Chapter in Book/Conference paper › Other chapter contribution
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 -
French T, Mccabe-Dansted J, Reynolds M. A complete axiomatization of a temporal logic with obligation and robustness. In JOURNAL OF LOGIC AND COMPUTATION. UK: Oxford University Press. 2014. p. 1-29 https://doi.org/10.1093/logcom/exu041