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

    6009 Perth

    Australia

  • 396 Citations
  • 11 h-Index
20012019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
2013

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

4 Citations (Scopus)
2010

Future Event Logic: Axioms and Complexity

Van Ditmarsch, H., French, T. & Pinchinat, S., 2010, Advances in modal logic. Beklemishev, L., Goranko, V. & Shehtman, V. (eds.). London UK: College Publications, Vol. 8. p. 77-99

Research output: Chapter in Book/Conference paperChapter

14 Citations (Scopus)
2008

Undecidability for arbitrary public announcement logic

French, T. & Van Ditmarsch, H., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (eds.). London, UK: College Publications, Vol. 7. p. 23-42

Research output: Chapter in Book/Conference paperChapter

Open Access
File
35 Citations (Scopus)
101 Downloads (Pure)
2007

Opponent Modelling, Evolution, and the Iterated Prisoner's Dilemma

Hingston, P., Dyer, D. W., Barone, L., French, T. & Kendall, G., 2007, The Iterated Prisoner's Dilemma-20 Years On. Kendall, G., Yao, X. & Chong, S. Y. (eds.). Singapore: World Scientific Publishing, Vol. 4. p. 139-170 (Advances in Natural Computation).

Research output: Chapter in Book/Conference paperChapter

2006

Bisimulation Quantified Modal Logics: Decidability

French, T., 2006, Advances in Modal Logic Volume 6. Venema, Y. D. (ed.). London, U.K.: College Publications, Vol. 6. p. 147-166

Research output: Chapter in Book/Conference paperChapter

2 Citations (Scopus)
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

2003

A Sound and Complete Proof System for QPTL

French, T. & Reynolds, M., 2003, Advances in Modal Logic. Balbiani, P., Suzuki, N-Y., Wolter, F. & Zakharyaschev, M. (eds.). UK: King's College Publications, Vol. 4. p. 127-148

Research output: Chapter in Book/Conference paperChapter