Follow
James Hales
James Hales
Verified email at student.uwa.edu.au - Homepage
Title
Cited by
Cited by
Year
Refinement modal logic
L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat
Information and Computation 239, 303-339, 2014
442014
Arbitrary action model logic and action model synthesis
J Hales
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 253-262, 2013
342013
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
J Hales, T French, R Davies
Advances in Modal Logic 9, 317-338, 2012
262012
Positive announcements
H van Ditmarsch, T French, J Hales
Studia Logica 109 (3), 639-681, 2021
192021
A composable language for action models
T French, J Hales, E Tay
arXiv preprint arXiv:1406.2103, 2014
182014
Refinement quantified logics of knowledge
J Hales, T French, R Davies
Electronic Notes in Theoretical Computer Science 278, 85-98, 2011
132011
Refinement quantifiers for logics of belief and knowledge
J Hales
University of Western Australia, 2011
92011
Quantifying over epistemic updates
JC Hales
82016
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
Software Engineering Research Conference, UWA, Perth: http://jameshales. org …, 2014
12014
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
The system can't perform the operation now. Try again later.
Articles 1–11