Title: Reactive Kripke Semantics
Subjects: Artificial intelligence, Computer science, Logic, symbolic and mathematical