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

    6009 Perth

    Australia

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

Research Output 1985 2019

Filter
Chapter
2013
4 Citations (Scopus)

Indiscrete Models: Model Building and Model Checking over Linear Time

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, Logic and Its Applications. Lodaya, K. (ed.). Chennai, India: Springer, Vol. 7750. p. 50-68 (Lodaya, Kamal).

Research output: Chapter in Book/Conference paperChapter

2007
8 Citations (Scopus)

Temporal Logic

Hodkinson, I. & Reynolds, M., 2007, Handbook of Modal Logic. Blackburn, P., Benthem, J. V. & Wolter, F. (eds.). Amsterdam: Elsevier, p. 655-720

Research output: Chapter in Book/Conference paperChapter

2005

Axioms for Logics of Knowledge and Past Time Synchrony and Unique Initial States

French, T., Reynolds, M. & Van Der Meyden, R., 2005, Advances in Modal Logic. Schmidt, R., Pratt-Hartmann, I., Reynolds, M. & Wansing, H. (eds.). London, UK: King's College Publications, Vol. 5. p. 53-72

Research output: Chapter in Book/Conference paperChapter

Separation-Past, Present and Future

Reynolds, M. & Hodkinson, I., 2005, We Will Show Them. Artemov, S., Barringer, H., Garcez, A., Lamb, L. & Woods, J. (eds.). London: College Publications, Vol. 2. p. 117-142

Research output: Chapter in Book/Conference paperChapter

9 Citations (Scopus)

Theorem-proving for Discrete Temporal Logic

Reynolds, M. & Dixon, C., 2005, Handbook of Temporal Reasoning in Artificial Intelligence. Fisher, M., Gabbay, D. & Vila, L. (eds.). Amsterdam: Elsevier, Vol. 1. p. 279-314 (Foundations of Artificial Intelligence).

Research output: Chapter in Book/Conference paperChapter

2002
17 Citations (Scopus)

Advanced Tense Logic

Finger, M., Gabbay, D. & Reynolds, M., 2002, Handbook of philosophical logic. Gabbay, D. & Guenthner, F. (eds.). 2nd ed. London, U.K.: Kluwer Academic Publishers, Vol. 7. p. 43-203

Research output: Chapter in Book/Conference paperChapter

1995

Towards a Computational Treatment of Time

Gabbay, D. M. & Reynolds, M., 1995, The Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, Vol. 4. p. 351-437

Research output: Chapter in Book/Conference paperChapter