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

    6009 Perth


  • 731 Citations
  • 15 h-Index
1985 …2023
If you made any changes in Pure these will be visible here soon.

Research Output 1985 2019

Other chapter contribution
2 Citations (Scopus)

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