Wilfrid Hodges

发表

Some combinatorics of imperfect information

Peter J. Cameron, Wilfrid Hodges, W. Hodges, 2001, Journal of Symbolic Logic.

A Visit to Tarski's Seminar on Elimination of Quantifiers

Wilfrid Hodges, 2011, Proof, Computation and Agency.

Note on notation

Wilfrid Hodges, 1993 .

Formalizing the relationship between meaning and syntax

Wilfrid Hodges, 2012 .

Two Early Arabic Applications of Model-Theoretic Consequence

Wilfrid Hodges, W. Hodges, 2018, Logica Universalis.

From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory

Wilfrid Hodges, W. Hodges, 2017 .

Constructing Pure Injective Hulls

Wilfrid Hodges, 1980, J. Symb. Log..

15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008)

Wilfrid Hodges, Fairouz Kamareddine, Ruy J. G. B. de Queiroz, 2008 .

Medieval Arabic Notions of Algorithm: Some Further Raw Evidence

Wilfrid Hodges, 2020, Fields of Logic and Computation III.

Mathematical logic

Wilfrid Hodges, Ian Chiswell, 2007, Oxford texts in logic.

Remarks on Compositionality

Wilfrid Hodges, W. Hodges, 2016, Dependence Logic.

A Strongly Differing Opinion on Proof-Theoretic Semantics?

Wilfrid Hodges, W. Hodges, 2016, Advances in Proof-Theoretic Semantics.

Structures that look alike

Wilfrid Hodges, 1993 .

Traditional Logic, Modern Logic and Natural Language

Wilfrid Hodges, W. Hodges, 2009, J. Philos. Log..

Noninterpretability of Infinite Linear Orders

Wilfrid Hodges, André Nies, 1995, Logic Colloquium.

Logic - An Introduction to Elementary Logic, 2nd Edition

Wilfrid Hodges, 2001 .

Model Theory: Introduction

Wilfrid Hodges, 1993 .

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

Wilfrid Hodges, W. Hodges, 2010, Fields of Logic and Computation.

Editors' foreword for JCSS WoLLIC 2008

Wilfrid Hodges, Ruy J. G. B. de Queiroz, 2010, J. Comput. Syst. Sci..

Building Models by Games

Wilfrid Hodges, W. Hodges, 1985 .

Logical features of Horn Clauses

Wilfrid Hodges, W. Hodges, 1993 .

European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93

Wilfrid Hodges, 1995 .

IBN SĪNĀ ON REDUCTIO AD ABSURDUM

Wilfrid Hodges, W. Hodges, 2016, The Review of Symbolic Logic.

A Symposium on Hilbert's Program

Wilfrid Hodges, Wilfried Sieg, 1988, J. Symb. Log..

What languages have Tarski truth definitions?

Wilfrid Hodges, W. Hodges, 2004, Ann. Pure Appl. Log..

The System of the Sciences of the Arabic Language by Sakkākī: Logic as a Complement of Rhetoric

Wilfrid Hodges, Manuela E.B. Giolfo, 2016 .

An experimental course in mathematical writing

Wilfrid Hodges, 2004 .

Alfred Tarski and decidable theories

Wilfrid Hodges, John Doner, W. Hodges, 1988, Journal of Symbolic Logic.

Formal Features of Compositionality

Wilfrid Hodges, W. Hodges, 2001, J. Log. Lang. Inf..

Requirements on a Theory of Sentence and Word Meanings

Wilfrid Hodges, 2012 .

An Editor Recalls Some Hopeless Papers

Wilfrid Hodges, W. Hodges, 1998, Bulletin of Symbolic Logic.

Interpreting number theory in nilpotent groups

Wilfrid Hodges, 1980, Arch. Math. Log..

International Copyright and Mathematics

Wilfrid Hodges, 2002, Electronic Information and Communication in Mathematics.

The meaning of specifications II: set-theoretic specification

Wilfrid Hodges, W. Hodges, 1993 .

Formal Logic a Workbook

Wilfrid Hodges, Tom Sorell, Rosalind Hursthouse, 1980 .

Logic and Philosophy of Science in Nancy (I)

Wilfrid Hodges, Peter Schroeder-Heister, Gerhard Heinzmann, 2014 .

Dependence of variables construed as an atomic formula

Wilfrid Hodges, Jouko A. Väänänen, W. Hodges, 2010, Ann. Pure Appl. Log..

A Shorter Model Theory

Wilfrid Hodges, W. Hodges, 1997 .

Model Theory: The existential case

Wilfrid Hodges, W. Hodges, 1993 .

Logic for Mathematical Writing

Wilfrid Hodges, Edmund Harriss, 2007, Log. J. IGPL.

Jaakko Hintikka, The Principles of Mathematics Revisited

Wilfrid Hodges, 1997, J. Log. Lang. Inf..

From Sentence Meanings to Full Semantics

Wilfrid Hodges, 2011, Proof, Computation and Agency.

Alfred Tarski

Wilfrid Hodges, Wilfrid Hodges, 1986, Journal of Symbolic Logic (JSL).

1999 European Summer Meeting of the Association for Symbolic Logic

Wilfrid Hodges, W. Hodges, 2000, Bulletin of Symbolic Logic.

Conference in Mathematical Logic — London ’70

Wilfrid Hodges, 1972 .

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

Wilfrid Hodges, W. Hodges, 2005, We Will Show Them!.

Relative categoricity in abelian groups II

Wilfrid Hodges, Anatoly Yakovlev, 2009, Ann. Pure Appl. Log..

First-order Model Theory

Thomas Scanlon, Wilfrid Hodges, W. Hodges, 2001 .

Classical Logic I: First‐Order Logic

Wilfrid Hodges, 2017 .

Model Theory: References

Wilfrid Hodges, 1993 .

On Order-Types of Models

Wilfrid Hodges, 1972, J. Symb. Log..

Review: Michael Morley, M. H. Lob, Partitions and Models

Wilfrid Hodges, 1974 .

Logic Exercises for Use in Conjunction with Hodges' Logic

Wilfrid Hodges, Stephen Blamey, A. W. Moore, 1982 .

Compositional Semantics for a Language of Imperfect Information

Wilfrid Hodges, W. Hodges, 1997, Log. J. IGPL.

The Laws of Distribution for Syllogisms

Wilfrid Hodges, 1998, Notre Dame J. Formal Log..

Logic and Games

Wilfrid Hodges, Jouko Väänänen, Jouko Väänänen, 2001 .

Notes on the History of Scope

Wilfrid Hodges, 2015, Logic Without Borders.

Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings

Wilfrid Hodges, Ruy J. G. B. de Queiroz, 2008, WoLLIC.

Categoricity and Permutation Groups

Wilfrid Hodges, W. Hodges, 1989 .

I—Wilfrid Hodges: A Sceptical Look

Wilfrid Hodges, 2001 .

Tarski's Theory of Definition

Wilfrid Hodges, 2008 .

Infinite games and reduced products

Saharon Shelah, Wilfrid Hodges, S. Shelah, 1981 .

BEGINNING MODEL THEORY

Wilfrid Hodges, 1978 .

Possible Orderings of an Indiscernible Sequence

Saharon Shelah, Wilfrid Hodges, A. H. Lachlan, 1977 .

Two Doors to Open

Wilfrid Hodges, W. Hodges, 2006 .

Logic: from foundations to applications: European logic colloquium

Wilfrid Hodges, John K. Truss, Martin Hyland, 1996 .

Naturality and Definability, I

Saharon Shelah, Wilfrid Hodges, 1986 .

Functional Modelling and Mathematical Models: A Semantic Analysis

Wilfrid Hodges, W. Hodges, 2009 .

VIII*-TRUTH IN A STRUCTURE

Wilfrid Hodges, 1986 .

A Normal Form for Algebraic Constructions

Wilfrid Hodges, W. Hodges, 1974 .

KURT GÖDEL COLLECTED WORKS, Volume III (Unpublished Essays and Lectures) Edited by Solomon Feferman et al.: 532 pp., £45.00, ISBN 0 19 507255 3 (Oxford University Press, 1995)

Wilfrid Hodges, W. Hodges, 1997 .

The Small Index Property for ω‐Stable (ω‐Categorical Structures and for the Random Graph

Saharon Shelah, Wilfrid Hodges, Ian Hodkinson, 1993 .

A formality

Wilfrid Hodges, 1999 .

Läuchli's algebraic closure of Q

Wilfrid Hodges, 1976 .

Finite extensions of finite groups

Wilfrid Hodges, W. Hodges, 1984 .

AN INTRODUCTION TO STABILITY THEORY (Oxford Logic Guides, 8)

Wilfrid Hodges, 1984 .

AROUND CLASSIFICATION THEORY OF MODELS (Lecture Notes in Mathematics 1182)

Wilfrid Hodges, 1987 .

Encoding orders and trees in binary relations

Wilfrid Hodges, 1981 .