2002
2000
A Study in Philosophical Logic
2013
A Further Study of Individuation, Identity, and the Logic of Sortal Terms
2009
1995
A Metaphysical Foundation for Natural Science
2005
Substance, Identity, and Time
1998