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
312014
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
J Hales, T French, R Davies
Advances in Modal Logic 9, 317-338, 2012
222012
Arbitrary action model logic and action model synthesis
J Hales
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 253-262, 2013
192013
Refinement quantified logics of knowledge
J Hales, T French, R Davies
Electronic Notes in Theoretical Computer Science 278, 85-98, 2011
112011
A composable language for action models
T French, J Hales, E Tay
arXiv preprint arXiv:1406.2103, 2014
102014
Refinement quantifiers for logics of belief and knowledge
J Hales
University of Western Australia, 2011
82011
Quantifying over epistemic updates
J Hales
Ph. D. thesis, The University of Western Australia, 2016
52016
Positive announcements
H van Ditmarsch, T French, J Hales
Studia Logica, 1-43, 2020
42020
A composable language for action models
J Hales, E Tay, T French
Advances in modal logic. London: College Publications, 2014
22014
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–10