Reactive Kripke Semantics | lit.salon