Turing projectability. - Timothy G. McCarthy; Stewart Shapiro (Notre Dame J. Formal Log., 1987)

Logical Form and Radical Interpretation. - Timothy G. McCarthy (Notre Dame J. Formal Log., 1989)

Self-reference and incompleteness in a non-monotonic setting. - Timothy G. McCarthy (J. Philos. Log., 1994)