On Order-Types of Models. - Wilfrid Hodges (J. Symb. Log., 1972)

Interpreting number theory in nilpotent groups. - Wilfrid Hodges (Arch. Math. Log., 1980)

Constructing Pure Injective Hulls. - Wilfrid Hodges (J. Symb. Log., 1980)

Alfred Tarski. - Wilfrid Hodges (J. Symb. Log., 1986)

Alfred Tarski and Decidable Theories. - John Doner; Wilfrid Hodges (J. Symb. Log., 1988)

A Symposium on Hilbert's Program. - Wilfrid Hodges; Wilfried Sieg (J. Symb. Log., 1988)

Editorial. - Wilfrid Hodges (J. Log. Comput., 1991)

Model theory. - Wilfrid Hodges (Cambridge University Press, 1993)

Noninterpretability of Infinite Linear Orders. - Wilfrid Hodges; André Nies (Logic Colloquium, 1995)

A Shorter Model Theory. - Wilfrid Hodges (Cambridge University Press, 1997)

Compositional Semantics for a Language of Imperfect Information. - Wilfrid Hodges (Log. J. IGPL, 1997)

Jaakko Hintikka, The Principles of Mathematics Revisited. - Wilfrid Hodges (J. Log. Lang. Inf., 1997)

Turing's Philosophical Error? - Wilfrid Hodges (Concepts for Neural Networks, 1998)

An editor recalls some hopeless papers. - Wilfrid Hodges (Bull. Symb. Log., 1998)

The Laws of Distribution for Syllogisms. - Wilfrid Hodges (Notre Dame J. Formal Log., 1998)

Logic - An Introduction to Elementary Logic, 2nd Edition. - Wilfrid Hodges (Penguin Books, 2001)

Formal Features of Compositionality. - Wilfrid Hodges (J. Log. Lang. Inf., 2001)

Some Combinatorics of Imperfect Information. - Peter J. Cameron; Wilfrid Hodges (J. Symb. Log., 2001)

International Copyright and Mathematics. - Wilfrid Hodges (Electronic Information and Communication in Mathematics, 2002)

What languages have Tarski truth definitions? - Wilfrid Hodges (Ann. Pure Appl. Log., 2004)

Detecting the Logical Content: Burley's 'Purity of Logic'. - Wilfrid Hodges (We Will Show Them! (2), 2005)

Building Models by Games. - Wilfrid Hodges (Dover Publications, 2006)

Mathematical logic. - Ian Chiswell; Wilfrid Hodges (Clarendon Press, 2007)

Logic for Mathematical Writing. - Edmund Harriss; Wilfrid Hodges (Log. J. IGPL, 2007)

Relative categoricity in abelian groups II. - Wilfrid Hodges; Anatoly Yakovlev (Ann. Pure Appl. Log., 2009)

Traditional Logic, Modern Logic and Natural Language. - Wilfrid Hodges (J. Philos. Log., 2009)

Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic. - Wilfrid Hodges (Fields of Logic and Computation, 2010)

Dependence of variables construed as an atomic formula. - Jouko A. Väänänen; Wilfrid Hodges (Ann. Pure Appl. Log., 2010)

Editors' foreword for JCSS WoLLIC 2008. - Wilfrid Hodges; Ruy J. G. B. de Queiroz (J. Comput. Syst. Sci., 2010)

A Visit to Tarski's Seminar on Elimination of Quantifiers. - Wilfrid Hodges (Proof, Computation and Agency, 2011)

From Sentence Meanings to Full Semantics. - Wilfrid Hodges (Proof, Computation and Agency, 2011)

Notes on the History of Scope. - Wilfrid Hodges (Logic Without Borders, 2015)

Remarks on Compositionality. - Wilfrid Hodges (Dependence Logic, 2016)

A Strongly Differing Opinion on Proof-Theoretic Semantics? - Wilfrid Hodges (Advances in Proof-Theoretic Semantics, 2016)

Medieval Modalities and Modern Method: Avicenna and Buridan. - Spencer Johnston; Wilfrid Hodges (FLAP, 2017)

Ibn Sīnā on Reductio Ad Absurdum. - Wilfrid Hodges (Rev. Symb. Log., 2017)

Two Early Arabic Applications of Model-Theoretic Consequence. - Wilfrid Hodges (Logica Universalis, 2018)

Medieval Arabic Notions of Algorithm: Some Further Raw Evidence. - Wilfrid Hodges (Fields of Logic and Computation III, 2020)

A Correctness Proof for al-BarakāT's Logical Diagrams. - Wilfrid Hodges (Rev. Symb. Log., 2023)

How did Avicenna understand the Barcan formulas? - Wilfrid Hodges (Log. J. IGPL, 2023)