• The University of Western Australia (M002), 35 Stirling Highway,

    6009 Perth

    Australia

  • 396 Citations
  • 11 h-Index
20012019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Other chapter contribution
2014

A complete axiomatization of a temporal logic with obligation and robustness

French, T., Mccabe-Dansted, J. & Reynolds, M., 2014, JOURNAL OF LOGIC AND COMPUTATION. UK: Oxford University Press, p. 1-29

Research output: Chapter in Book/Conference paperOther chapter contribution

2 Citations (Scopus)