On Łukasiewicz's Ł-modal system. - Timothy Smiley (Notre Dame J. Formal Log., 1961)

Syllogism and Quantification. - Timothy Smiley (J. Symb. Log., 1962)

The Independence of Connectives. - Timothy Smiley (J. Symb. Log., 1962)

Relative Necessity. - Timothy Smiley (J. Symb. Log., 1963)

Deducibility and Many-Valuedness. - D. J. Shoesmith; T. J. Smiley (J. Symb. Log., 1971)

What is a syllogism? - T. J. Smiley (J. Philos. Log., 1973)

Theorem on directed graphs, applicable to logic. - D. J. Shoesmith; T. J. Smiley (J. Graph Theory, 1979)

The Theory of Descriptions. - Timothy Smiley (Studies in the philosophy of logic and knowledge, 2004)

A Modest Logic of Plurals. - Alex Oliver; Timothy Smiley (J. Philos. Log., 2006)

Cantorian Set Theory. - Alex Oliver; Timothy Smiley (Bull. Symb. Log., 2018)