Wilfrid Hodges

Learn More
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)
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)
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)
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)
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)