A complete axiomatization of a temporal logic with obligation and robustness

Tim French, John Mccabe-Dansted, Mark Reynolds

    Research output: Chapter in Book/Conference paperOther chapter contribution

    2 Citations (Scopus)
    Original languageEnglish
    Title of host publicationJOURNAL OF LOGIC AND COMPUTATION
    Place of PublicationUK
    PublisherOxford University Press
    Pages1-29
    ISBN (Print)0955792X
    DOIs
    Publication statusPublished - 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
    French, Tim ; Mccabe-Dansted, John ; Reynolds, Mark. / A complete axiomatization of a temporal logic with obligation and robustness. JOURNAL OF LOGIC AND COMPUTATION. UK : Oxford University Press, 2014. pp. 1-29
    @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 paperOther 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