Fixes for Kripke semantics