Timothy Williamson Verification, Falsification, and Cancellation in KT. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:286-290 [Journal]
Timothy Williamson An Alternative Rule of disjunction in modal logic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:89-100 [Journal]
Timothy Williamson Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:128-134 [Journal]