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

    6009 Perth


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

Projects 2004 2023

Combining Modal Logics for Dynamic and Multi-agent Systems.

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

Sundry Grants


Project: Research

Proof Theory for Extensions of Temporal Logic

Reynolds, M. & Van Der Meyden, R.

ARC Discovery Projects


Project: Research