James Hales
James Hales
Verified email at student.uwa.edu.au - Homepage
TitleCited byYear
Refinement modal logic
L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat
Information and Computation 239, 303-339, 2014
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
J Hales, T French, R Davies
Advances in Modal Logic 9, 317-338, 2012
Arbitrary action model logic and action model synthesis
J Hales
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 253-262, 2013
A composable language for action models
T French, J Hales, E Tay
arXiv preprint arXiv:1406.2103, 2014
Refinement quantified logics of knowledge
J Hales, T French, R Davies
Electronic Notes in Theoretical Computer Science 278, 85-98, 2011
Refinement quantifiers for logics of belief and knowledge
J Hales
University of Western Australia, 2011
Quantifying over epistemic updates
J Hales
PhD thesis, The University of Western Australia, 2016
A composable language for action models
J Hales, E Tay, T French
Advances in modal logic. London: College Publications, 2014
Positive announcements
H van Ditmarsch, T French, J Hales
arXiv preprint arXiv:1803.01696, 2018
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, ...
The system can't perform the operation now. Try again later.
Articles 1–10