 \(A \rightarrow B\) is true at a world \(a\) if and only if for all worlds \(b\) and \(c\) such that \(Rabc\) \((R\) is the accessibility relation) either \(A\) is false at \(b\) or \(B\) is true at \(c\). 