Mark Reynolds – Research output — the UWA Profiles and Research Repository

View Scopus Profile

Phone0414166250
Emailmark.reynoldsuwa.eduau

The University of Western Australia (M013), 35 Stirling Highway,
6009 Perth
Australia

h-index

85 Conference paper
57 Article
7 Edited book/Anthology
7 Chapter
More

1 results

Filter

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 paper › Other chapter contribution

2 Citations (Scopus)