Wilfrid Hodges

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

Wilfrid Hodges: From Sentence Meanings to Full Semantics. Proof, Computation and Agency 2011: 261-276

Jouko A. Väänänen, Wilfrid Hodges: Dependence of variables construed as an atomic formula. Ann. Pure Appl. Logic 161(6): 817-828 (2010)

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

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

Wilfrid Hodges, Anatoly Yakovlev: Relative categoricity in abelian groups II. Ann. Pure Appl. Logic 158(3): 203-231 (2009)

Wilfrid Hodges: Traditional Logic, Modern Logic and Natural Language. J. Philosophical Logic 38(6): 589-606 (2009)

Wilfrid Hodges, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings. Lecture Notes in Computer Science 5110, Springer 2008, isbn 978-3-540-69936-1

Edmund Harriss, Wilfrid Hodges: Logic for Mathematical Writing. Logic Journal of the IGPL 15(4): 313-320 (2007)

Wilfrid Hodges: Building Models by Games. Dover Publications 2006, isbn 978-0-486-45017-9, pp. 1-318

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

Wilfrid Hodges: What languages have Tarski truth definitions? Ann. Pure Appl. Logic 126(1-3): 93-113 (2004)

Wilfrid Hodges: International Copyright and Mathematics. Electronic Information and Communication in Mathematics 2002: 72-86

Wilfrid Hodges: Logic - An Introduction to Elementary Logic, 2nd Edition. Penguin Books 2001, isbn 978-0-14-100314-6, pp. I-VII, 1-292

Wilfrid Hodges: Formal Features of Compositionality. Journal of Logic, Language and Information 10(1): 7-28 (2001)

Peter J. Cameron, Wilfrid Hodges: Some Combinatorics of Imperfect Information. J. Symb. Log. 66(2): 673-684 (2001)

Wilfrid Hodges: An editor recalls some hopeless papers. Bulletin of Symbolic Logic 4(1): 1-16 (1998)

Wilfrid Hodges: The Laws of Distribution for Syllogisms. Notre Dame Journal of Formal Logic 39(2): 221-230 (1998)

Wilfrid Hodges: A Shorter Model Theory. Cambridge University Press 1997, isbn 978-0-521-58713-6, pp. I-X, 1-310

Wilfrid Hodges: Compositional Semantics for a Language of Imperfect Information. Logic Journal of the IGPL 5(4): 539-563 (1997)

Wilfrid Hodges: Jaakko Hintikka, The Principles of Mathematics Revisited. Journal of Logic, Language and Information 6(4): 457-460 (1997)

Wilfrid Hodges: Editorial. J. Log. Comput. 1(6): 757-759 (1991)

John Doner, Wilfrid Hodges: Alfred Tarski and Decidable Theories. J. Symb. Log. 53(1): 20-35 (1988)

Wilfrid Hodges, Wilfried Sieg: A Symposium on Hilbert's Program. J. Symb. Log. 53(2): 337 (1988)

Wilfrid Hodges: Alfred Tarski. J. Symb. Log. 51(4): 866-868 (1986)

Wilfrid Hodges: Constructing Pure Injective Hulls. J. Symb. Log. 45(3): 544-548 (1980)

Wilfrid Hodges: On Order-Types of Models. J. Symb. Log. 37(1): 69-70 (1972)