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
    ISBN (Print)0955792X
    Publication statusPublished - 2014

    Cite this