Causal Kripke Models