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
332014
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
J Hales, T French, R Davies
Advances in Modal Logic 9, 317-338, 2012
232012
Arbitrary action model logic and action model synthesis
J Hales
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 253-262, 2013
212013
A composable language for action models
T French, J Hales, E Tay
arXiv preprint arXiv:1406.2103, 2014
132014
Refinement quantified logics of knowledge
J Hales, T French, R Davies
Electronic Notes in Theoretical Computer Science 278, 85-98, 2011
112011
Positive announcements
H van Ditmarsch, T French, J Hales
Studia Logica 109 (3), 639-681, 2021
82021
Refinement quantifiers for logics of belief and knowledge
J Hales
University of Western Australia, 2011
72011
Quantifying over epistemic updates
J Hales
PhD thesis, School of Computer Science & Software Engineering, University of …, 2016
52016
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