A Kripke semantics for linear logic