Wilfrid Hodges

Affiliations:

Queen Mary University of London, UK

According to our database¹, Wilfrid Hodges authored at least 40 papers between 1972 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

How did Avicenna understand the Barcan formulas?

[BibT_eX]

[DOI]

Wilfrid Hodges

Log. J. IGPL, November, 2023

A Correctness Proof for al-BarakāT's Logical Diagrams.

[BibT_eX]

[DOI]

Wilfrid Hodges

Rev. Symb. Log., June, 2023

2020

Medieval Arabic Notions of Algorithm: Some Further Raw Evidence.

[BibT_eX]

[DOI]

Wilfrid Hodges

Proceedings of the Fields of Logic and Computation III, 2020

2018

Two Early Arabic Applications of Model-Theoretic Consequence.

[BibT_eX]

[DOI]

Wilfrid Hodges

Logica Universalis, 2018

2017

Ibn Sīnā on Reductio Ad Absurdum.

[BibT_eX]

[DOI]

Wilfrid Hodges

Rev. Symb. Log., 2017

Medieval Modalities and Modern Method: Avicenna and Buridan.

[BibT_eX]

[DOI]

Spencer Johnston

Wilfrid Hodges

FLAP, 2017

2016

A Strongly Differing Opinion on Proof-Theoretic Semantics?

[BibT_eX]

[DOI]

Wilfrid Hodges

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

Remarks on Compositionality.

[BibT_eX]

[DOI]

Wilfrid Hodges

Proceedings of the Dependence Logic, Theory and Applications, 2016

2015

Notes on the History of Scope.

[BibT_eX]

[DOI]

Wilfrid Hodges

Proceedings of the Logic Without Borders, 2015

2011

From Sentence Meanings to Full Semantics.

[BibT_eX]

[DOI]

Wilfrid Hodges

Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011

A Visit to Tarski's Seminar on Elimination of Quantifiers.

[BibT_eX]

[DOI]

Wilfrid Hodges

Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011

2010

Editors' foreword for JCSS WoLLIC 2008.

[BibT_eX]

[DOI]

Wilfrid Hodges

Ruy J. G. B. de Queiroz

J. Comput. Syst. Sci., 2010

Dependence of variables construed as an atomic formula.

[BibT_eX]

[DOI]

Jouko A. Väänänen

Wilfrid Hodges

Ann. Pure Appl. Log., 2010

Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic.

[BibT_eX]

[DOI]

Wilfrid Hodges

Proceedings of the Fields of Logic and Computation, 2010

2009

Traditional Logic, Modern Logic and Natural Language.

[BibT_eX]

[DOI]

Wilfrid Hodges

J. Philos. Log., 2009

Relative categoricity in abelian groups II.

[BibT_eX]

[DOI]

Wilfrid Hodges

Anatoly Yakovlev

Ann. Pure Appl. Log., 2009

2007

Logic for Mathematical Writing.

[BibT_eX]

[DOI]

Edmund Harriss

Wilfrid Hodges

Log. J. IGPL, 2007

Mathematical logic.

[BibT_eX]

Ian Chiswell

Wilfrid Hodges

Oxford texts in logic 3, Clarendon Press, ISBN: 978-0-19-921562-1, 2007

2006

Building Models by Games.

[BibT_eX]

[DOI]

Wilfrid Hodges

Dover Publications, ISBN: 978-0-486-45017-9, 2006

2005

Detecting the Logical Content: Burley's 'Purity of Logic'.

[BibT_eX]

Wilfrid Hodges

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

What languages have Tarski truth definitions?

[BibT_eX]

[DOI]

Wilfrid Hodges

Ann. Pure Appl. Log., 2004

2002

International Copyright and Mathematics.

[BibT_eX]

[DOI]

Wilfrid Hodges

Proceedings of the Electronic Information and Communication in Mathematics, 2002

2001

Some Combinatorics of Imperfect Information.

[BibT_eX]

[DOI]

Peter J. Cameron

Wilfrid Hodges

J. Symb. Log., 2001

Formal Features of Compositionality.

[BibT_eX]

[DOI]

Wilfrid Hodges

J. Log. Lang. Inf., 2001

Logic - An Introduction to Elementary Logic, 2nd Edition.

[BibT_eX]

[DOI]

Wilfrid Hodges

Penguin Books, ISBN: 978-0-14-100314-6, 2001

1998

The Laws of Distribution for Syllogisms.

[BibT_eX]

[DOI]

Wilfrid Hodges

Notre Dame J. Formal Log., 1998

An editor recalls some hopeless papers.

[BibT_eX]

[DOI]

Wilfrid Hodges

Bull. Symb. Log., 1998

Turing's Philosophical Error?

[BibT_eX]

[DOI]

Wilfrid Hodges

Proceedings of the Concepts for Neural Networks - A Survey, 1998

1997

Jaakko Hintikka, The Principles of Mathematics Revisited.

[BibT_eX]

[DOI]

Wilfrid Hodges

J. Log. Lang. Inf., 1997

Compositional Semantics for a Language of Imperfect Information.

[BibT_eX]

[DOI]

Wilfrid Hodges

Log. J. IGPL, 1997

A Shorter Model Theory.

[BibT_eX]

Wilfrid Hodges

Cambridge University Press, ISBN: 978-0-521-58713-6, 1997

1995

Noninterpretability of Infinite Linear Orders.

[BibT_eX]

[DOI]

Wilfrid Hodges

André Nies

Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995

1993

Model theory.

[BibT_eX]

Wilfrid Hodges

Encyclopedia of mathematics and its applications 42, Cambridge University Press, ISBN: 978-0-521-30442-9, 1993

1991

Editorial.

[BibT_eX]

[DOI]

Wilfrid Hodges

J. Log. Comput., 1991

1988

A Symposium on Hilbert's Program.

[BibT_eX]

[DOI]

Wilfrid Hodges

Wilfried Sieg

J. Symb. Log., 1988

Alfred Tarski and Decidable Theories.

[BibT_eX]

[DOI]

John Doner

Wilfrid Hodges

J. Symb. Log., 1988

1986

Alfred Tarski.

[BibT_eX]

[DOI]

Wilfrid Hodges

J. Symb. Log., 1986

1980

Constructing Pure Injective Hulls.

[BibT_eX]

[DOI]

Wilfrid Hodges

J. Symb. Log., 1980

Interpreting number theory in nilpotent groups.

[BibT_eX]

[DOI]

Wilfrid Hodges

Arch. Math. Log., 1980

1972

On Order-Types of Models.

[BibT_eX]

[DOI]

Wilfrid Hodges

J. Symb. Log., 1972

Wilfrid Hodges

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...