 The conditional “if \(A\) then \(C\)” can be treated as a binary modality \(\Box(A,C)\), with the following truth conditions, where \((\Delta+A)(w)\) equals \(\Delta(w) \cup \{\lvert A\rvert^{M,w,\Gamma, \Delta}\}\):