#### Filter Results:

- Full text PDF available (50)

#### Publication Year

1972

2017

- This year (1)
- Last 5 years (6)
- Last 10 years (24)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Wilfrid Hodges
- 1997

- Wilfrid Hodges
- Logic Journal of the IGPL
- 1997

We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the… (More)

- Wilfrid Hodges
- Journal of Logic, Language and Information
- 2001

We give a criterion involving existence of many generic sequences of automorphisms for a countable structure to have the small index property. We use it to show that (i) any ω-stable ω-categorical structure, and (ii) the random graph has the small index property. We also show that the automorphism group of such a structure is not the union of a countable… (More)

- URGEN OHLBACH, Jon Barwise, +8 authors Johan van Benthem
- 2000

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satisfiability of the DL ALC extended with… (More)

- Peter J. Cameron, Wilfrid Hodges
- J. Symb. Log.
- 2001

- Wilfrid Hodges
- 2006

- M Lee, Wilfrid Hodges, Timothy L. Huggins, E-N Lee
- Southern medical journal
- 1996

Eosinophilic gastroenteritis is a rare condition of unknown etiology characterized by peripheral eosinophilia, eosinophilic infiltration of the gastrointestinal tract, and gastrointestinal symptomatology. Eosinophilic gastroenteritis is generally classified according to the layer of gastrointestinal tract involved. Mucosal involvement may result in… (More)

- Wilfrid Hodges
- Bulletin of Symbolic Logic
- 1998

§

- Wilfrid Hodges
- 2005

The paper analyses what is said and what is presupposed by the Principle of Compositionality for semantics, as it is commonly stated. The Principle of Compositionality is an axiom which some semantics satisfy and some don’t. It says essentially that if two expressions have the same meaning then they make the same contribution to the meanings of expressions… (More)