Text this: Reactive Kripke Semantics