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
232014
Arbitrary action model logic and action model synthesis
J Hales
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on …, 2013
152013
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
J Hales, T French, R Davies
Advances in Modal Logic 9, 317-338, 2012
152012
A composable language for action models
T French, J Hales, E Tay
arXiv preprint arXiv:1406.2103, 2014
82014
Refinement quantified logics of knowledge
J Hales, T French, R Davies
Electronic Notes in Theoretical Computer Science 278, 85-98, 2011
82011
Refinement quantifiers for logics of belief and knowledge
J Hales
Honours Thesis, University of Western Australia, 2011
62011
A composable language for action models
J Hales, E Tay, T French
Advances in modal logic. London: College Publications, 2014
22014
Positive announcements
H van Ditmarsch, T French, J Hales
arXiv preprint arXiv:1803.01696, 2018
12018
Quantifying over epistemic updates
J Hales
PhD thesis, The University of Western Australia, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–9