Reactive Kripke Semantics - Gabbay, Dov M.; Gabbay (Springer Berlin Heidelberg, 2013)