Refinement modal logic L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat Information and Computation 239, 303-339, 2014 | 45 | 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 | 27 | 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 |