Wilfrid Hodges

	2011
24		Wilfrid Hodges: From Sentence Meanings to Full Semantics. Proof, Computation and Agency 2011: 261-276
23		Wilfrid Hodges: A Visit to Tarski's Seminar on Elimination of Quantifiers. Proof, Computation and Agency 2011: 53-66
	2010
22		Wilfrid Hodges: Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic. Fields of Logic and Computation 2010: 354-404
21		Jouko A. Väänänen, Wilfrid Hodges: Dependence of variables construed as an atomic formula. Ann. Pure Appl. Logic 161(6): 817-828 (2010)
20		Wilfrid Hodges, Ruy J. G. B. de Queiroz: Editors' foreword for JCSS WoLLIC 2008. J. Comput. Syst. Sci. 76(5): 281-282 (2010)
	2009
19		Wilfrid Hodges, Anatoly Yakovlev: Relative categoricity in abelian groups II. Ann. Pure Appl. Logic 158(3): 203-231 (2009)
18		Wilfrid Hodges: Traditional Logic, Modern Logic and Natural Language. J. Philosophical Logic 38(6): 589-606 (2009)
	2008
17		Wilfrid Hodges, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings Springer 2008
	2007
16		Edmund Harriss, Wilfrid Hodges: Logic for Mathematical Writing. Logic Journal of the IGPL 15(4): 313-320 (2007)
	2005
15		Wilfrid Hodges: Detecting the Logical Content: Burley's 'Purity of Logic'. We Will Show Them! (2) 2005: 69-116
	2004
14		Wilfrid Hodges: What languages have Tarski truth definitions? Ann. Pure Appl. Logic 126(1-3): 93-113 (2004)
	2002
13		Wilfrid Hodges: International Copyright and Mathematics. Electronic Information and Communication in Mathematics 2002: 72-86
	2001
12		Peter J. Cameron, Wilfrid Hodges: Some Combinatorics of Imperfect Information. J. Symb. Log. 66(2): 673-684 (2001)
11		Wilfrid Hodges: Formal Features of Compositionality. Journal of Logic, Language and Information 10(1): 7-28 (2001)
	1998
10		Wilfrid Hodges: An editor recalls some hopeless papers. Bulletin of Symbolic Logic 4(1): 1-16 (1998)
9		Wilfrid Hodges: The Laws of Distribution for Syllogisms. Notre Dame Journal of Formal Logic 39(2): 221-230 (1998)
	1997
8		Wilfrid Hodges: Jaakko Hintikka, The Principles of Mathematics Revisited. Journal of Logic, Language and Information 6(4): 457-460 (1997)
7		Wilfrid Hodges: Compositional Semantics for a Language of Imperfect Information. Logic Journal of the IGPL 5(4): 539-563 (1997)
	1991
6		Wilfrid Hodges: Editorial. J. Log. Comput. 1(6): 757-759 (1991)
	1988
5		John Doner, Wilfrid Hodges: Alfred Tarski and Decidable Theories. J. Symb. Log. 53(1): 20-35 (1988)
4		Wilfrid Hodges, Wilfried Sieg: A Symposium on Hilbert's Program. J. Symb. Log. 53(2): 337 (1988)
	1986
3		Wilfrid Hodges: Alfred Tarski. J. Symb. Log. 51(4): 866-868 (1986)
	1980
2		Wilfrid Hodges: Constructing Pure Injective Hulls. J. Symb. Log. 45(3): 544-548 (1980)
	1972
1		Wilfrid Hodges: On Order-Types of Models. J. Symb. Log. 37(1): 69-70 (1972)

Coauthor Index

1	Peter J. Cameron	[12]
2	John Doner	[5]
3	Edmund Harriss	[16]
4	Ruy J. G. B. de Queiroz	[17] [20]
5	Wilfried Sieg	[4]
6	Jouko A. Väänänen	[21]
7	Anatoly Yakovlev	[19]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page