B. Articles in Books

1. Towards a theory of knowledge and ignorance, in Logics and Models of Concurrent Systems (ed. K. Apt), Springer-Verlag, 1985, pp. 459-476 (with Y. Moses).

2. Using reasoning about knowledge to analyze distributed systems, in Annual Reviews of Computer Science, Vol. 2 (ed. J. F. Traub, B. J. Grosz, B. W. Lampson, and N. J. Nilsson), Annual Reviews Inc., 1987, pp. 37-68.

3. I'm OK if you're OK: On the notion of trusting communication, in Philosophical Logic and Artificial Intelligence (ed. R. H. Thomason), Kluwer, 1989, pp. 9-34 (with R. Fagin). (This is a reprint of journal article 17 below.)

4. Model checking vs. theorem proving: a manifesto, in Artificial Intelligence and Mathematical Theory of Computation (Papers in Honor of John McCarthy) (ed. V. Lifschitz), Academic Press, 1991, pp. 151-176 (with M. Y. Vardi).

5. A new approach to updating beliefs, in Uncertainty in Artificial Intelligence 6 (eds. P. P. Bonissone, M. Henrion, L. N. Kanal, and J. F. Lemmer), 1991, pp. 347-374 (with R. Fagin).

6. Reasoning about knowledge: a survey circa 1991, appears in both Encyclopedia of Computer Science and Technology, Vol. 27, Supplement 12 (ed. A. Kent and J. G. Williams), Marcel Dekker, 1993, pp. 275-296 and Encyclopedia of Microcomputers, Vol. 14 (ed. A. Kent and J. G. Williams), Marcel Dekker, 1994, pp. 287-308.

7. Reasoning about knowledge: a survey, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, D. Gabbay, C. J. Hogger, and J. A. Robinson, eds., Oxford University Press, 1995, pp. 1-34. (This is a revised and updated version of ``Reasoning about knowledge: a survey circa 1991'', listed above.)

8. A logical approach to reasoning about uncertainty: a tutorial, Discourse, Interaction, and Communication, X. Arrazola, K. Korta, and F. J. Pelletier, eds., Kluwer, 1998, pp. 141-155.

9. Common knowledge revisited, In Knowledge Contributors (V.F. Hendricks, K.F. Jorgensen, and S.A. Pedersen, eds.), Kluwer, 2003, pp. 87--104. (with R. Fagin, Y. Moses, and M. Y. Vardi). (This is a reprint of journal article 64.)

10. Sleeping Beauty reconsidered: Conditioning and reflection in asynchronous systems, in Oxford Studies in Epistemology, Vol. 1 (T. S. Gendler and J. Hawthorne, eds.), Oxford University Press, 2005, pp. 111-142.

11. A decision-theoretic approach to resource allocation in wireless multimedia networks, in Resource Allocation in Next Generation Wireless Networks (W. Li and Y. Pan, eds.), Nova Science Publishers, 2005, pp. 1-23 (with Z. Haas, L. Li, and S. B. Wicker).

12. Minimum-energy topology-control algorithms in ad hoc networks, in Handbook of Theoretical and Algorithmic Aspects of Ad Hoc, Sensor, and Peer-to-Peer Networks, (J. Wu, editor), Auerbach Publications, 2006, pp. 115-132 (with L. Li).

13. Software quality and infrastructure protection for diffuse computing, in Department of Defense Sponsored Information Security Research: New Methods for Protecting Against Cyber Threats (C. Wang, S. King, et al., eds.), Wiley, 2007 (with J. Feigenbaum, P.D. Lincoln, J.C. Mitchell, A. Scedrov, J.M. Smith, and P. Syverson).

14. Computer science and game theory: A brief survey, in Palgrave Dictionary of Economics (S. N. Durlauf and L.E. Blume, eds.), Palgrave MacMillan, 2008..

15. Joseph Y. Halpern, in Epistemology: 5 Questions (ed. V. F Hendricks and D. Pritchard), Automatic Press/VIP, 2008, pp. 155-166.

16. Actual causation and the art of modeling, in Heuristics, Probability and Causality: A Tribute to Judea Pearl (editors, R. Dechter, H. Geffner, and J. Y. Halpern), College Publications, 2010, pp. 383-406 (with C. Hitchcock).

17. Beyond Nash equilibrium: Solution concepts for the 21st century, Lectures in Game Theory for Computer Scientists (K. R. Apt and E. Gr\"adel, editors), Cambridge University Press, 2011, pp. 264--289.

18. That's all I know: A logical characterization of iterated admissibility, in Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque (G. Lakemeyer and S. A. McIlraith, editors), College Publications, 2011 (with R. Pass).

19. Dexter Kozen: An Appreciation, Kozen Festschrift, Lecture Notes in Computer Science, vol. 7230, Springer, 2012, pp. 324--325.

20. An introduction to logics of knowledge and belief, in Handbook of Epistemic Logic (H. van Ditmarsch, J. Y. Halpern, W. van der Hoek, and B. Kooi, editors), College Publications, 2015, pp. 1--51 (with H. van Ditmarsch, W. van der Hoek, and B. Kooi).

21. Substantive rationality and backward induction, in Readings in Formal Epistemology (H. Arlo-Costa, V. Hendricks, and J. van Benthem, editors), 2016, Springer. (This is a reprint of journal article \ref{substantive}.)

22. Why bother with syntax, Rohit Parikh on Logic, Language and Society (C. Baskent, L. Moss, and R. Ramanujam, editors), 2017, pp. 111--119.