 The axiomatic system \(\mathbf{K}_{t}\) is sound and complete for validity in TL: all and only those formulae that are valid in TL can be deduced from the axioms by means of the given inference rules. For a proof, see e.g. Rescher and Urquhart (1971); Goldblatt (1992); and Gabbay et al. (1994).