 The resulting logic KT\(^{\boxdot}\) is axiomatized by the well-known axioms and rules of KT for both modalities in addition to the bridge axiom above, and is semantically characterized by Kripke frames with two accessibility relations, requiring that the accessibility relation for physical necessity is included in the other.