Invertible definitions. - Timothy Williamson (Notre Dame J. Formal Log., 1987)

Assertion, denial and some cancellation rules in modal logic. - Timothy Williamson (J. Philos. Log., 1988)

First-order logics for comparative similarity. - Timothy Williamson (Notre Dame J. Formal Log., 1988)

Two Incomplete Anti-Realist Modal Epistemic Logics. - Timothy Williamson (J. Symb. Log., 1990)

Verification, Falsification, and Cancellation in KT. - Timothy Williamson (Notre Dame J. Formal Log., 1990)

An Alternative Rule of disjunction in modal logic. - Timothy Williamson (Notre Dame J. Formal Log., 1992)

Some admissible rules in nonnormal modal systems. - Timothy Williamson (Notre Dame J. Formal Log., 1993)

Non-genuine MacIntosh logics. - Timothy Williamson (J. Philos. Log., 1994)

Some Admissible Rules in Modal Systems with the Brouwerian Axiom. - Timothy Williamson (Log. J. IGPL, 1996)

Strong Boethius' Thesis and Consequential Implication. - Claudio E. A. Pizzi; Timothy Williamson (J. Philos. Log., 1997)

Inverses for Normal Modal Operators. - Lloyd Humberstone; Timothy Williamson (Stud Logica, 1997)

Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses. - Timothy Williamson (Notre Dame J. Formal Log., 1998)

Some Computationalconstraints In Epistemic Logic. - Timothy Williamson (Logic, Epistemology, and the Unity of Science, 2004)

Conditional Excluded Middle in Systems of Consequential Implication. - Claudio E. A. Pizzi; Timothy Williamson (J. Philos. Log., 2005)