Abstract
The main result of this paper is that KT is closed under a cancellation principle. This result extends to KTG1, but it does not extend to modal systems associated with the provability interpretation of L, such as KW and KT4Grz. Following Williamson, these results are applied to philosophical concerns about the proper form for theories of meaning, via the interpretation of L as some kind of veriflability. The cancellation principle can then be read as saying that verifilability conditions and falsiflability conditions jointly determine truth conditions.