Reactive Kripke Semantics (Cognitive Technologies)