sentence1: the formal semantics of dl is a kripke semantics in which the states of the kripke model are the states of the hybrid system .
sentence2: the semantics of dl is a kripke semantics in which the states of the kripke model are the states of the hybrid system .