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 |
A complete axiomatization of a temporal logic with obligation and robustness
Tim French, John Mccabe-Dansted, Mark Reynolds
Research output: Chapter in Book/Conference paper › Other chapter contribution
2
Citations
(Scopus)