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

    6009 Perth

    Australia

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

Projects 2004 2023

Research

Combining Modal Logics for Dynamic and Multi-agent Systems.

Reynolds, M., Governatori, G., Orgun, M. & Sattar, A.

Sundry Grants

1/01/0431/12/08

Project: Research

Proof Theory for Extensions of Temporal Logic

Reynolds, M. & Van Der Meyden, R.

ARC Discovery Projects

1/01/0431/12/04

Project: Research