[BOOK][B] A shorter model theory
W Hodges - 1997 - books.google.com
… An edge {v, w} is said to join the two vertices v and w. We can … and joining two vertices v, w
by a line when {u, w} is an edge: … (v, w) lies in RG if and only if there is an edge joining v to w. …
by a line when {u, w} is an edge: … (v, w) lies in RG if and only if there is an edge joining v to w. …
[BOOK][B] Model theory
W Hodges - 1993 - books.google.com
… An edge {v, w} is said to join the two vertices v and w. We can … and joining two vertices v, w
by a line when {u, w} is an edge: … (v, w) lies in RG if and only if there is an edge joining v to w. …
by a line when {u, w} is an edge: … (v, w) lies in RG if and only if there is an edge joining v to w. …
[HTML][HTML] The challenge of mapping the human connectome based on diffusion tractography
Tractography based on non-invasive diffusion imaging is central to the study of human brain
connectivity. To date, the approach has not been systematically validated in ground truth …
connectivity. To date, the approach has not been systematically validated in ground truth …
Some strange quantifiers
W Hodges - Structures in Logic and Computer Science: A Selection …, 2005 - Springer
… For this we need to carry up definitions of w-trump and w-… This time, w must be a function that
assigns to each variable v~ … (Vvj//W), we pass upwards only those w where w(vj) -- W 0 13(r …
assigns to each variable v~ … (Vvj//W), we pass upwards only those w where w(vj) -- W 0 13(r …
Compositional semantics for a language of imperfect information
W Hodges - Logic Journal of the IGPL, 1997 - ieeexplore.ieee.org
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 …
the information that passes down from formulas to subformulas. For example the logic is …
[BOOK][B] William Hodges 1744-1797: the art of exploration
W Hodges, D Attenborough - 2004 - books.google.com
… William Hodges is well known as the artist who accompanied … They consider Hodges's work
comparatively, in terms of the rise of … In this work, Hodges is repositioned as one of the most …
comparatively, in terms of the rise of … In this work, Hodges is repositioned as one of the most …
Retrospective reports of parental partner abuse: Relationships to depression, trauma symptoms and self-esteem among college students
L Silvern, J Karyl, L Waelde, WF Hodges… - Journal of family …, 1995 - Springer
This study tested whether retrospective reports of childhood exposure to parental partner
abuse were associated with internalizing aspects of adult adjustment. Participants were 550 …
abuse were associated with internalizing aspects of adult adjustment. Participants were 550 …
[BOOK][B] Logic
W Hodges - 2001 - books.google.com
If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily
illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges …
illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges …
[BOOK][B] Building models by games
W Hodges - 2006 - books.google.com
… The first subscript W means that there is no bound on the size of conjunctions and disjunctions;
the second subscript w means that we can only have finitely many variables x ..., xn in a …
the second subscript w means that we can only have finitely many variables x ..., xn in a …
Elementary predicate logic
W Hodges - Handbook of philosophical logic, 1983 - Springer
Elementary (first-order) predicate logic is a child of many parents. At least three different groups
of thinkers played their part in its conception, with three quite distinct motives. Maybe the …
of thinkers played their part in its conception, with three quite distinct motives. Maybe the …