Wilfrid Hodges - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2023

How did Avicenna understand the Barcan formulas?Wilfrid Hodges. igpl, 31(6):1170-1191, November 2023. [doi]

A Correctness Proof for al-BarakāT's Logical DiagramsWilfrid Hodges. rsl, 16(2):369-384, June 2023. [doi]

2020

Medieval Arabic Notions of Algorithm: Some Further Raw EvidenceWilfrid Hodges. BIRTHDAY 2020: 133-146 [doi]

2018

Two Early Arabic Applications of Model-Theoretic ConsequenceWilfrid Hodges. lu, 12(1-2):37-54, 2018. [doi]

2017

Ibn Sīnā on Reductio Ad AbsurdumWilfrid Hodges. rsl, 10(3):583-601, 2017. [doi]

Medieval Modalities and Modern Method: Avicenna and BuridanSpencer Johnston, Wilfrid Hodges. flap, 4(4), 2017. [doi]

2016

Remarks on CompositionalityWilfrid Hodges. In Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors, Dependence Logic, Theory and Applications. pages 99-107, Springer, 2016. [doi]

A Strongly Differing Opinion on Proof-Theoretic Semantics?Wilfrid Hodges. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 173-188, Springer, 2016. [doi]

2015

Notes on the History of ScopeWilfrid Hodges. In Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces, editors, Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Volume 5 of Ontos Mathematical Logic, pages 215-240, De Gruyter, 2015. [doi]

2011

A Visit to Tarski's Seminar on Elimination of QuantifiersWilfrid Hodges. In Johan van Benthem, Amitabha Gupta, Rohit Parikh, editors, Proof, Computation and Agency - Logic at the Crossroads. Volume 352 of Synthese library, pages 53-66, Springer, 2011. [doi]

From Sentence Meanings to Full SemanticsWilfrid Hodges. In Johan van Benthem, Amitabha Gupta, Rohit Parikh, editors, Proof, Computation and Agency - Logic at the Crossroads. Volume 352 of Synthese library, pages 261-276, Springer, 2011. [doi]

2010

Editors foreword for JCSS WoLLIC 2008Wilfrid Hodges, Ruy J. G. B. de Queiroz. jcss, 76(5):281-282, 2010. [doi]

Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of LogicWilfrid Hodges. BIRTHDAY 2010: 354-404 [doi]

Dependence of variables construed as an atomic formulaJouko A. Väänänen, Wilfrid Hodges. APAL, 161(6):817-828, 2010. [doi]

2009

Relative categoricity in abelian groups IIWilfrid Hodges, Anatoly Yakovlev. APAL, 158(3):203-231, 2009. [doi]

Traditional Logic, Modern Logic and Natural LanguageWilfrid Hodges. jphil, 38(6):589-606, 2009. [doi]

2007

Mathematical logicIan Chiswell, Wilfrid Hodges. Volume 3 of Oxford texts in logic, Clarendon Press, 2007.

Logic for Mathematical WritingEdmund Harriss, Wilfrid Hodges. igpl, 15(4):313-320, 2007. [doi]

2006

Building Models by GamesWilfrid Hodges. Dover Publications, 2006. [doi]

2005

Detecting the Logical Content: Burley s Purity of Logic Wilfrid Hodges. BIRTHDAY 2005: 69-116

2004

What languages have Tarski truth definitions?Wilfrid Hodges. APAL, 126(1-3):93-113, 2004. [doi]

2002

International Copyright and MathematicsWilfrid Hodges. icm 2003: 72-86 [doi]

2001

Some Combinatorics of Imperfect InformationPeter J. Cameron, Wilfrid Hodges. JSYML, 66(2):673-684, 2001.

Logic - An Introduction to Elementary Logic, 2nd EditionWilfrid Hodges. Penguin Books, 2001. [doi]

Formal Features of CompositionalityWilfrid Hodges. jolli, 10(1):7-28, 2001.

1998

Turing's Philosophical Error?Wilfrid Hodges. In L. J. Landau, John G. Taylor, editors, Concepts for Neural Networks - A Survey. Perspectives in Neural Computing, pages 147-169, Springer, 1998. [doi]

The Laws of Distribution for SyllogismsWilfrid Hodges. ndjfl, 39(2):221-230, 1998.

An editor recalls some hopeless papersWilfrid Hodges. bsl, 4(1):1-16, 1998. [doi]

1997

A Shorter Model TheoryWilfrid Hodges. Cambridge University Press, 1997.

Jaakko Hintikka, The Principles of Mathematics RevisitedWilfrid Hodges. jolli, 6(4):457-460, 1997.

Compositional Semantics for a Language of Imperfect InformationWilfrid Hodges. igpl, 5(4):539-563, 1997. [doi]

1995

Noninterpretability of Infinite Linear OrdersWilfrid Hodges, André Nies. logicColl 1998: 73-78 [doi]

1993

Model theoryWilfrid Hodges. Volume 42 of Encyclopedia of mathematics and its applications, Cambridge University Press, 1993.

1991

EditorialWilfrid Hodges. logcom, 1(6):757-759, 1991.

1988

Alfred Tarski and Decidable TheoriesJohn Doner, Wilfrid Hodges. JSYML, 53(1):20-35, 1988.

A Symposium on Hilbert s ProgramWilfrid Hodges, Wilfried Sieg. JSYML, 53(2):337, 1988.

1986

Alfred TarskiWilfrid Hodges. JSYML, 51(4):866-868, 1986.

1980

Constructing Pure Injective HullsWilfrid Hodges. JSYML, 45(3):544-548, 1980.

Interpreting number theory in nilpotent groupsWilfrid Hodges. AML, 20(3-4):103-111, 1980. [doi]

1972

On Order-Types of ModelsWilfrid Hodges. JSYML, 37(1):69-70, 1972.

Sign in or sign up to see more results.

runs on WebDSL