Meeting of the Association for Symbolic Logic: Stanford, California, 1985. - Jon Barwise; Solomon Feferman; David Israel (J. Symb. Log., 1986)

On Formal Versus Commonsense Semantics. - David Israel (TINLAP, 1987)

Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. - Johan van Benthem; David Israel (J. Log. Lang. Inf., 1999)

Reflections on Gödel's and Gandy's Reflections on Turing's Thesis. - David Israel (Minds Mach., 2002)

Common Sense, The Turing Test, and The Quest for Real AI, Hector Levesque. The MIT Press (2017). - David Israel (Artif. Intell., 2017)

Response to 'Reward is enough' - This is not a review; it's a response. - David Israel (Artif. Intell., 2023)