Wilfrid Hodges

Publication Activity (10 Years)

Years Active: 1972-2023
Publications (10 Years): 6

Top Topics

Top Venues

Rev. Symb. Log.

Logica Universalis

Publications

Wilfrid Hodges
A Correctness Proof for al-BarakāT's Logical Diagrams. Rev. Symb. Log. 16 (2) (2023)
Wilfrid Hodges
How did Avicenna understand the Barcan formulas? Log. J. IGPL 31 (6) (2023)
Wilfrid Hodges
Medieval Arabic Notions of Algorithm: Some Further Raw Evidence. Fields of Logic and Computation III (2020)
Wilfrid Hodges
Two Early Arabic Applications of Model-Theoretic Consequence. Logica Universalis 12 (1-2) (2018)
Wilfrid Hodges
Ibn Sīnā on Reductio Ad Absurdum. Rev. Symb. Log. 10 (3) (2017)
Spencer Johnston, Wilfrid Hodges
Medieval Modalities and Modern Method: Avicenna and Buridan. FLAP 4 (4) (2017)
Jouko A. Väänänen, Wilfrid Hodges
Dependence of variables construed as an atomic formula. Ann. Pure Appl. Log. 161 (6) (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)
Wilfrid Hodges, Ruy J. G. B. de Queiroz
Editors' foreword for JCSS WoLLIC 2008. J. Comput. Syst. Sci. 76 (5) (2010)
Wilfrid Hodges, Anatoly Yakovlev
Relative categoricity in abelian groups II. Ann. Pure Appl. Log. 158 (3) (2009)
Wilfrid Hodges
Traditional Logic, Modern Logic and Natural Language. J. Philos. Log. 38 (6) (2009)
Edmund Harriss, Wilfrid Hodges
Logic for Mathematical Writing. Log. J. IGPL 15 (4) (2007)
Wilfrid Hodges
Detecting the Logical Content: Burley's 'Purity of Logic'. We Will Show Them! (2) (2005)
Wilfrid Hodges
What languages have Tarski truth definitions? Ann. Pure Appl. Log. 126 (1-3) (2004)
Wilfrid Hodges
International Copyright and Mathematics. Electronic Information and Communication in Mathematics (2002)
Peter J. Cameron, Wilfrid Hodges
Some Combinatorics of Imperfect Information. J. Symb. Log. 66 (2) (2001)
Wilfrid Hodges
Formal Features of Compositionality. J. Log. Lang. Inf. 10 (1) (2001)
Wilfrid Hodges
The Laws of Distribution for Syllogisms. Notre Dame J. Formal Log. 39 (2) (1998)
Wilfrid Hodges
An editor recalls some hopeless papers. Bull. Symb. Log. 4 (1) (1998)
Wilfrid Hodges
Jaakko Hintikka, The Principles of Mathematics Revisited. J. Log. Lang. Inf. 6 (4) (1997)
Wilfrid Hodges
Compositional Semantics for a Language of Imperfect Information. Log. J. IGPL 5 (4) (1997)
Wilfrid Hodges, André Nies
Noninterpretability of Infinite Linear Orders. Logic Colloquium (1995)
Wilfrid Hodges
Editorial. J. Log. Comput. 1 (6) (1991)
John Doner, Wilfrid Hodges
Alfred Tarski and Decidable Theories. J. Symb. Log. 53 (1) (1988)
Wilfrid Hodges, Wilfried Sieg
A Symposium on Hilbert's Program. J. Symb. Log. 53 (2) (1988)
Wilfrid Hodges
Alfred Tarski. J. Symb. Log. 51 (4) (1986)
Wilfrid Hodges
Interpreting number theory in nilpotent groups. Arch. Math. Log. 20 (3-4) (1980)
Wilfrid Hodges
Constructing Pure Injective Hulls. J. Symb. Log. 45 (3) (1980)
Wilfrid Hodges
On Order-Types of Models. J. Symb. Log. 37 (1) (1972)