As a first approximation, we might say that something satisfies the formula A(x) C(x) at a world iff some (accessible) world where satisfies A(x) and C(x) is closer to than any world where satisfies A(x) and (x), if there are (accessible) worlds where satisfies A(x).