| Refinement modal logic L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat Information and Computation 239, 303-339, 2014 | 44 | 2014 |
| Arbitrary action model logic and action model synthesis J Hales 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 253-262, 2013 | 34 | 2013 |
| Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. J Hales, T French, R Davies Advances in Modal Logic 9, 317-338, 2012 | 26 | 2012 |
| Positive announcements H van Ditmarsch, T French, J Hales Studia Logica 109 (3), 639-681, 2021 | 19 | 2021 |
| A composable language for action models T French, J Hales, E Tay arXiv preprint arXiv:1406.2103, 2014 | 18 | 2014 |
| Refinement quantified logics of knowledge J Hales, T French, R Davies Electronic Notes in Theoretical Computer Science 278, 85-98, 2011 | 13 | 2011 |
| Refinement quantifiers for logics of belief and knowledge J Hales University of Western Australia, 2011 | 9 | 2011 |
| Quantifying over epistemic updates JC Hales | 8 | 2016 |
| A composable language for action models J Hales, E Tay, T French Advances in modal logic. London: College Publications, 2014 | 2 | 2014 |
| Positive announcements H van Ditmarsch, T French, J Hales Software Engineering Research Conference, UWA, Perth: http://jameshales. org …, 2014 | 1 | 2014 |
| Monitoring of the scientific production of ETSI Informáticos at the Web of Science in 2015 until June A Ciurana, V Martin, J Martinez-Mateo, B Schrenk, M Peev, A Poppe, ... | | 2015 |
Tim FrenchThe University of Western AustraliaVerified email at uwa.edu.au
