This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Joseph Y. Halpern
A grouping.
Joseph Y. Halpern: effective axiomatisations of Hoare logics, 'On the unusual effectiveness of logic in computer science', and the Handbook of Epistemic Logic.
6 references
Handbook of Epistemic Logic
Hans van Ditmarsch and others (2015) · College Publications
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern and others (2001) · Bulletin of Symbolic Logic
Model Checking vs. Theorem Proving: A Manifesto
Joseph Y Halpern and others (1991) · Elsevier
Knowledge and common knowledge in a distributed environment
Joseph Y. Halpern and others (1990) · Journal of the ACM · Association for Computing Machinery (ACM)
A good Hoare axiom system for an ALGOL-like language
Joseph Y. Halpern (1984) · ACM Press
Effective axiomatizations of Hoare logics
Edmund M. Clarke Jr. and others (1983) · Journal of the ACM